Nivat's processes and their synchronization

DOI10.1016/S0304-3975(02)00006-3zbMath0997.68077OpenAlexW1993883805MaRDI QIDQ1603683

André Arnold

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00006-3

zbMATH Keywords

synchronization of processes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

The ins and outs of Petri net composition, A Programming Language for Spatial Distribution of Net Systems, A semantic model for interacting cyber-physical systems

Uses Software

• COSY

Cites Work

• COSY - a system specification language based on paths and processes
• An algebraic and algorithmic method for analysing transition systems
• Supervisory Control of a Class of Discrete Event Processes
• Communicating sequential processes
• A unified approach to control problems in discrete event processes
• Construction and Analysis of Transition Systems with MEC
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item