Conference
Causality in Structured Occurrence Nets
Abstract
Structured occurrence nets consist of multiple occurrence nets — each recording causality and concurrency in an execution of a component of a concurrent system. These occurrence nets are linked together by means of various types of relationships, aimed at representing dependencies between communicating and evolving sub-systems. In this paper, we investigate causality in the basic class of communication structured occurrence nets (cso-nets). We …
Authors
Kleijn J; Koutny M
Series
Lecture Notes in Computer Science
Volume
6875
Pagination
pp. 283-297
Publisher
Springer Nature
Publication Date
2011
DOI
10.1007/978-3-642-24541-1_22
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743