Structure theory of multi-level deterministically synchronized sequential processes

DOI10.1016/S0304-3975(99)00112-7zbMath0974.68129OpenAlexW2128440055MaRDI QIDQ5940915

Laura Recalde, Enrique Teruel, Manuel Silva

Publication date: 20 August 2001

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00112-7

zbMATH Keywords

multi-level deterministically synchronized sequential processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

On the fluidization of Petri nets and marking homothecy ⋮ Toward a decision support system for the clinical pathways assessment

Cites Work

• Structure theory of equal conflict systems
• Deterministic buffer synchronization of sequential processes
• Marked directed graphs
• {SC}*ECS: A class of modular and hierarchical cooperating systems
• Free Choice Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structure theory of multi-level deterministically synchronized sequential processes