Please use this identifier to cite or link to this item: http://theses.ncl.ac.uk/jspui/handle/10443/2138
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCotronis, John Yiannis-
dc.date.accessioned2014-03-04T12:46:07Z-
dc.date.available2014-03-04T12:46:07Z-
dc.date.issued1982-
dc.identifier.urihttp://hdl.handle.net/10443/2138-
dc.descriptionPhD Thesisen_US
dc.description.abstractThe basic COSY (COncurrent SYstems) notation [LSB79b] is briefly presented. Programs in this notation abstractly specify the synchronic aspects of concurrent systems and are possessed of behavioural semantics, which are capable of expressing concurrency and which also provide a firm mathematical foundation for verifying properties of systems. We are mainly concerned with the macro COSY notation [LTS79] which contains macro features for concisely representing and precisely generating by expansion similar regularities of structure of programs in the basic notation. We re-examine and revise all aspects of macro COSY, the design of the notation as a specification language, the formal grammar for producing macro COSY programs, the rules for the expansion of macro elements and of complete macro programs, eliminating serious drawbacks of previous macro COSY notations and grammars. We characterize the strings generated by the expansion of macro elements and macro programs and we investigate the conditions under which macro elements may generate the same strings as other macro elements. Finally, we give direct semantics to macro programs following two approaches.en_US
dc.language.isoenen_US
dc.publisherNewcastle Universityen_US
dc.titleProgramming and verifying asynchronous systemsen_US
dc.typeThesisen_US
Appears in Collections:School of Computing Science

Files in This Item:
File Description SizeFormat 
Cotronis, J.Y. 1982.pdfThesis8.14 MBAdobe PDFView/Open
dspacelicence.pdfLicence43.82 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.