dc.contributor.author | Baillie, J. | |
dc.date.accessioned | 2010-06-16T14:37:11Z | |
dc.date.available | 2010-06-16T14:37:11Z | |
dc.date.issued | 1990 | |
dc.identifier.citation | Baillie , J 1990 , A CCS case study: a safety-critical system . UH Computer Science Technical Report , vol. 103 , University of Hertfordshire . | |
dc.identifier.other | PURE: 91508 | |
dc.identifier.other | PURE UUID: 48e44e5c-8daa-4f6e-847e-efaf178bb165 | |
dc.identifier.other | dspace: 2299/4577 | |
dc.identifier.uri | http://hdl.handle.net/2299/4577 | |
dc.description.abstract | A level crossing control system is specified in CCS, motivated by a temporal logic specification of the safety requirements. We show that with certain reservations, these can be satisfactorily stated entirely within CCS. The crossing system is divided into two smaller subsystems which are shown to be equivalent to the original single system, and whose behaviour is then analysed using the methods of the calculus. By applying the technique of bisimulation, it is proved that the crossing satisfies the full safety requirements. | en |
dc.language.iso | eng | |
dc.publisher | University of Hertfordshire | |
dc.relation.ispartofseries | UH Computer Science Technical Report | |
dc.title | A CCS case study: a safety-critical system | en |
dc.contributor.institution | School of Computer Science | |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |