Show simple item record

dc.contributor.authorStobo, J.R.
dc.date.accessioned2010-07-21T10:35:04Z
dc.date.available2010-07-21T10:35:04Z
dc.date.issued1992
dc.identifier.citationStobo , J R 1992 , A program for animating CCS specifications . UH Computer Science Technical Report , vol. 145 , University of Hertfordshire .
dc.identifier.otherPURE: 98302
dc.identifier.otherPURE UUID: 55df42d2-09ae-4b3a-85f6-bcd3e4072d78
dc.identifier.otherdspace: 2299/4678
dc.identifier.urihttp://hdl.handle.net/2299/4678
dc.description.abstractThis 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.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.titleA program for animating CCS specificationsen
dc.contributor.institutionSchool of Computer Science
dc.relation.school
dcterms.dateAccepted1992
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record