The Denotational Semantics of Slotted-Circus

This item is OpenAccessThis item is covered by a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationa. Click to find out more
Share this page with addthis.com
Thumbnail
File Type:
PDF
Item Type:
Conference Paper
Date:
2009
Author:
Citation:
Andrew Butterfield, Pawel Gancarski, The Denotational Semantics of Slotted-Circus, Lecture Notes in Computer Science, Formal Methods 2009, Eindhoven, Netherlands, 2-6th Nov, Ana Cavalcanti and Dennis Dams, 5850, Springer, 2009, 451-466
Download Item:
URI:
http://hdl.handle.net/2262/38447
Sponsor
Grant Number
Science Foundation Ireland (SFI)
Author's Homepage:
http://people.tcd.ie/butrfeld
Description:
PUBLISHED
Eindhoven, Netherlands
Author: BUTTERFIELD, ANDREW
Other Titles:
Lecture Notes in Computer Science
Formal Methods 2009
Publisher:
Springer
Type of material:
Conference Paper
URI:
http://hdl.handle.net/2262/38447
Collections
Series/Report no:
5850
Availability:
Full text available
Keywords:
denotational semantics, unifying theories, time-slots, concurrency theory
Subject (TCD):
Smart & Sustainable Planet
Metadata
Show full item record

Licences: