| dc.contributor.author | Stobo, J.R. | |
| dc.date.accessioned | 2010-07-21T10:35:04Z | |
| dc.date.available | 2010-07-21T10:35:04Z | |
| dc.date.issued | 1992 | |
| dc.identifier.citation | Stobo , J R 1992 , A program for animating CCS specifications . UH Computer Science Technical Report , vol. 145 , University of Hertfordshire . | |
| dc.identifier.other | PURE: 98302 | |
| dc.identifier.other | PURE UUID: 55df42d2-09ae-4b3a-85f6-bcd3e4072d78 | |
| dc.identifier.other | dspace: 2299/4678 | |
| dc.identifier.uri | http://hdl.handle.net/2299/4678 | |
| dc.description.abstract | This report describes the operation of a program which enables the behaviours admitted by a specification in the Calculus of Communicating Systems (CCS) to be investigated. Two specifications in the calculus are presented to illustrate the issues under discussion, and program output from the animation of these specifications is shown in some detail, both to make clear the program's value and limitations and to highlight distinctive features of specifications in CCS. | en |
| dc.language.iso | eng | |
| dc.publisher | University of Hertfordshire | |
| dc.relation.ispartofseries | UH Computer Science Technical Report | |
| dc.title | A program for animating CCS specifications | en |
| dc.contributor.institution | School of Computer Science | |
| rioxxterms.type | Other | |
| herts.preservation.rarelyaccessed | true | |
