Hdl Handle:
http://hdl.handle.net/10149/136750
Title:
Termination without √ in CSP
Book Title:
FM 2011: Formal methods
Authors:
Dunne, S. E. (Steve)
Editors:
Butler, M. (Michael); Schulte, W. (Wolfram)
Affiliation:
University of Teesside. School of Computing.
Citation:
Dunne, S. E. (2011) 'Termination without √ in CSP', 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011, in Butler, M. and Schulte, W. (eds) FM 2011: Formal methods. Springer, pp.278-292.
Publisher:
Springer
Conference:
17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011
Issue Date:
4-Jul-2011
URI:
http://hdl.handle.net/10149/136750
Additional Links:
http://www.springer.com/computer/swe/book/978-3-642-21436-3
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
CSP; traces; stable failures; failures-divergences; recast models
Series/Report no.:
Lecture notes in computer science; 6664
ISBN:
9783642214363
Rights:
Author can archive post-print (ie final draft post-refereeing). [Email from rights and permissions at Springer].
Citation Count:
0 [Scopus, 25/07/2011]

Full metadata record

DC FieldValue Language
dc.contributor.authorDunne, S. E. (Steve)en
dc.contributor.editorButler, M. (Michael)en
dc.contributor.editorSchulte, W. (Wolfram)en
dc.date.accessioned2011-07-25T07:41:30Z-
dc.date.available2011-07-25T07:41:30Z-
dc.date.issued2011-07-04-
dc.identifier.isbn9783642214363-
dc.identifier.urihttp://hdl.handle.net/10149/136750-
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries6664en
dc.relation.urlhttp://www.springer.com/computer/swe/book/978-3-642-21436-3en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). [Email from rights and permissions at Springer].en
dc.subjectCSPen
dc.subjecttracesen
dc.subjectstable failuresen
dc.subjectfailures-divergencesen
dc.subjectrecast modelsen
dc.titleTermination without √ in CSPen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.bookFM 2011: Formal methodsen
dc.identifier.conference17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011en
ref.citationcount0 [Scopus, 25/07/2011]en
or.citation.harvardDunne, S. E. (2011) 'Termination without √ in CSP', 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011, in Butler, M. and Schulte, W. (eds) FM 2011: Formal methods. Springer, pp.278-292.en
prism.startingPage278en
prism.endingPage292en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.