| dc.contributor.author | Smith, D. | |
| dc.date.accessioned | 2010-07-16T09:23:01Z | |
| dc.date.available | 2010-07-16T09:23:01Z | |
| dc.date.issued | 1991 | |
| dc.identifier.citation | Smith , D 1991 , Concurrent CCS - an introduction . UH Computer Science Technical Report , vol. 126 , University of Hertfordshire . | |
| dc.identifier.other | dspace: 2299/4654 | |
| dc.identifier.uri | http://hdl.handle.net/2299/4654 | |
| dc.description.abstract | This paper introduces an extension to CCS which models the concept of simultaneity of actions. In order to express simultaneity, we require the semantics of our language to allow agents the facility to proceed concurrently. An example of a safety critical system exemplifies the ideas expressed within this paper and their application. | en |
| dc.format.extent | 2049309 | |
| dc.language.iso | eng | |
| dc.publisher | University of Hertfordshire | |
| dc.relation.ispartofseries | UH Computer Science Technical Report | |
| dc.title | Concurrent CCS - an introduction | en |
| dc.contributor.institution | School of Computer Science | |
| rioxxterms.type | Other | |
| herts.preservation.rarelyaccessed | true | |
