Lazy exploration and checking of CSP models with CSPsim

Hdl Handle:
http://hdl.handle.net/10149/111788
Title:
Lazy exploration and checking of CSP models with CSPsim
Book Title:
Communicating process architectures
Authors:
Brooke, P. J. (Phillip); Paige, R. F. (Richard)
Editors:
McEwan, A. A. (Alastair); Ifill, W. (Wilson); Schneider, S. (Steve); Welch, P. H. (Peter)
Affiliation:
University of Teesside. School of Computing.
Citation:
Brooke, P. J. and Paige, R. F. (2007) 'Lazy exploration and checking of CSP models with CSPsim', in McEwan, A. A. et. al. (eds) Communicating process architectures. Amsterdam: IOS Press, pp.33-49.
Publisher:
IOS Press
Issue Date:
2007
URI:
http://hdl.handle.net/10149/111788
Additional Links:
http://www.booksonline.iospress.nl/Content/View.aspx?piid=5965
Type:
Book Chapter
Language:
en
Keywords:
concurrent extension; object-oriented language; CSP; CSPsim
ISBN:
9781586037673

Full metadata record

DC FieldValue Language
dc.contributor.authorBrooke, P. J. (Phillip)en
dc.contributor.authorPaige, R. F. (Richard)en
dc.contributor.editorMcEwan, A. A. (Alastair)en
dc.contributor.editorIfill, W. (Wilson)en
dc.contributor.editorSchneider, S. (Steve)en
dc.contributor.editorWelch, P. H. (Peter)en
dc.date.accessioned2010-09-24T14:26:56Z-
dc.date.available2010-09-24T14:26:56Z-
dc.date.issued2007-
dc.identifier.isbn9781586037673-
dc.identifier.urihttp://hdl.handle.net/10149/111788-
dc.language.isoenen
dc.publisherIOS Pressen
dc.relation.urlhttp://www.booksonline.iospress.nl/Content/View.aspx?piid=5965en
dc.subjectconcurrent extensionen
dc.subjectobject-oriented languageen
dc.subjectCSPen
dc.subjectCSPsimen
dc.titleLazy exploration and checking of CSP models with CSPsimen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.bookCommunicating process architecturesen
or.citation.harvardBrooke, P. J. and Paige, R. F. (2007) 'Lazy exploration and checking of CSP models with CSPsim', in McEwan, A. A. et. al. (eds) Communicating process architectures. Amsterdam: IOS Press, pp.33-49.-
prism.startingPage33-
prism.endingPage49-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.