UTCP: compositional semantics for shared-variable concurrency
File Type:
PDFItem Type:
Conference PaperDate:
2017Author:
Access:
openAccessCitation:
Andrew Butterfield, UTCP: compositional semantics for shared-variable concurrency, Lecture Notes in Computer Science, 20th Brazilian Symposium on Formal Methods (SBMF 2017), Recife, Brazil, 29 Nov - 1st Dec 201, LNCS, 10623, Springer, 2017, 253 - 270Download Item:
UTCP-SBMF2017-MAIN.pdf (Published (author's copy) - Peer Reviewed) 362.1Kb
Sponsor
Grant Number
Science Foundation Ireland (SFI)
Author's Homepage:
http://people.tcd.ie/butrfeldDescription:
PUBLISHEDRecife, Brazil
Author: BUTTERFIELD, ANDREW
Other Titles:
Lecture Notes in Computer Science20th Brazilian Symposium on Formal Methods (SBMF 2017)
Publisher:
SpringerType of material:
Conference PaperCollections:
Series/Report no:
LNCS10623
Availability:
Full text availableSubject (TCD):
CONCURRENCY THEORY , Formal Semantics , Semantic InteroperabilityDOI:
10.1007/978-3-319-70848-5_16Licences: