Show simple item record

dc.contributor.authorSmith, D.
dc.date.accessioned2010-07-16T09:23:01Z
dc.date.available2010-07-16T09:23:01Z
dc.date.issued1991
dc.identifier.citationSmith , D 1991 , Concurrent CCS - an introduction . UH Computer Science Technical Report , vol. 126 , University of Hertfordshire .
dc.identifier.otherPURE: 100673
dc.identifier.otherPURE UUID: 58bc120e-1e92-4718-bd9a-5da26d7239b2
dc.identifier.otherdspace: 2299/4654
dc.identifier.urihttp://hdl.handle.net/2299/4654
dc.description.abstractThis 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.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.rightsOpen
dc.titleConcurrent CCS - an introductionen
dc.contributor.institutionSchool of Computer Science
dcterms.dateAccepted1991
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record