Chapter
Relational Structures for Interval Order Semantics of Concurrent Systems
Abstract
Relational structures like partial orders that are based on acyclic relations capturing a ‘before’ relationship, can provide versatile frameworks for the modelling and verification of a wide class of concurrent systems behaviour. There are also relational structures with an acyclic ‘before’ (strong precedence) relationship and a possibly cyclic ‘not later than’ (weak precedence) relationship, which can be used for more general concurrent …
Authors
Janicki R; Kleijn J; Koutny M; Mikulski Ł
Book title
Application and Theory of Petri Nets and Concurrency
Series
Lecture Notes in Computer Science
Volume
14628
Pagination
pp. 153-174
Publisher
Springer Nature
Publication Date
2024
DOI
10.1007/978-3-031-61433-0_8