The design of a tool-supported graphical notation for timed CSP

Hdl Handle:
http://hdl.handle.net/10149/111736
Title:
The design of a tool-supported graphical notation for timed CSP
Book Title:
Integrated formal methods
Authors:
Brooke, P. J. (Phillip); Paige, R. F. (Richard)
Editors:
Butler, M. (Michael); Petre, L. (Luigia); Sere, K. (Kaisa)
Affiliation:
University of Plymouth. School of Computing.
Citation:
Brooke, P. J. and Paige, R. F. (2002) 'The design of a tool-supported graphical notation for timed CSP', Third international conference, IFM 2002 Turku, Finland, May 15–18, 2002, in Butler, M., Petre, L. and Sere, K. (eds) Integrated formal methods, Lecture notes in computer science, 2335. Heidelberg: Spinger, pp.299-318.
Publisher:
Springer
Conference:
Third international conference, IFM 2002 Turku, Finland, May 15–18, 2002
Issue Date:
2002
URI:
http://hdl.handle.net/10149/111736
DOI:
10.1007/3-540-47884-1_17
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
timed CSP; process algebra; graphical notation; tool support
Series/Report no.:
Lecture notes in computer science; 2335
ISBN:
3540437037
Citation Count:
0 [Web of Science and Scopus, 23/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorBrooke, P. J. (Phillip)en
dc.contributor.authorPaige, R. F. (Richard)en
dc.contributor.editorButler, M. (Michael)en
dc.contributor.editorPetre, L. (Luigia)en
dc.contributor.editorSere, K. (Kaisa)en
dc.date.accessioned2010-09-23T13:39:09Z-
dc.date.available2010-09-23T13:39:09Z-
dc.date.issued2002-
dc.identifier.isbn3540437037-
dc.identifier.doi10.1007/3-540-47884-1_17-
dc.identifier.urihttp://hdl.handle.net/10149/111736-
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries2335en
dc.subjecttimed CSPen
dc.subjectprocess algebraen
dc.subjectgraphical notationen
dc.subjecttool supporten
dc.titleThe design of a tool-supported graphical notation for timed CSPen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Plymouth. School of Computing.en
dc.title.bookIntegrated formal methodsen
dc.identifier.conferenceThird international conference, IFM 2002 Turku, Finland, May 15–18, 2002en
ref.citationcount0 [Web of Science and Scopus, 23/09/2010]en
or.citation.harvardBrooke, P. J. and Paige, R. F. (2002) 'The design of a tool-supported graphical notation for timed CSP', Third international conference, IFM 2002 Turku, Finland, May 15–18, 2002, in Butler, M., Petre, L. and Sere, K. (eds) Integrated formal methods, Lecture notes in computer science, 2335. Heidelberg: Spinger, pp.299-318.-
prism.startingPage299-
prism.endingPage318-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.