Event Structure Semantics for CCS and Related Languages

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title Event Structure Semantics for CCS and Related Languages
 
Creator Winskel, Glynn
 
Description We give denotational semantics to a wide range of parallel programming languages based on the ideas of Milner's CCS, that processes communicate by events of mutual synchronisation.Processes are denoted by labelled event structures. Event structures represent concurrency rather directly as in net theory.The semantics does not simulate concurrency by non-deterministic interleaving.
 
Publisher Aarhus University
 
Contributor
 
Date 2002-04-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/6812
10.7146/dpb.v12i159.6812
 
Source DAIMI Report Series; No 159 (1983): PB-159 Event Structure Semantics for CCS and Related Languages
DAIMI Report Series; No 159 (1983): PB-159 Event Structure Semantics for CCS and Related Languages
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/6812/5891
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library