UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
![Thumbnail](/themes/edepositireland/images/white_rectangle.jpeg)
File Type:
PDFItem Type:
Conference PaperDate:
2016Author:
Access:
openAccessCitation:
Andrew Butterfield, Anila Mjeda, John Noll, UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models, 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, 17-19 July 2016, Marcello Bonsangue, Yuxing Deng, IEEE Computer Society, 2016, 93 - 100
Sponsor
Grant Number
Science Foundation Ireland (SFI)
10/CE/11855
Author's Homepage:
http://people.tcd.ie/butrfeldDescription:
PUBLISHEDShanghai, China
Author: BUTTERFIELD, ANDREW
Sponsor:
Science Foundation Ireland (SFI)Other Titles:
10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016Publisher:
IEEE Computer SocietyType of material:
Conference PaperCollections
Availability:
Full text availableSubject (TCD):
Formal Semantics , SHARED-STATE , Unifying Theories of Programming , concurrencyDOI:
10.1109/TASE.2016.22Metadata
Show full item recordLicences: