Trace Structures and other Models for Concurrency

• 1 March 1995
• book chapter
• Published by World Scientific Pub Co Pte Ltd
• p. 271-305
• https://doi.org/10.1142/9789814261456_0009

Abstract

Keywords

• PETRI NETS
• DOMAINS TRACE STRUCTURES
• ASYNCHRONOUS TRANSITION SYSTEMS
• HOARE STRUCTURES
• RELATIONSHIPS TRACE
• EVENT STRUCTURES