Structure theory of multi-level deterministically synchronized sequential processes

DOI10.1016/S0304-3975(99)00112-7MaRDI QIDQ5940915zbMATH OpenOpenAlexFDO

Authors L. Recalde, E. 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)

Recommendations

• scientific article; zbMATH DE number 4085041
• scientific article; zbMATH DE number 3856434
• scientific article; zbMATH DE number 3921989
• scientific article; zbMATH DE number 23767
• Boundedness analysis of finitely recursive processes. I. Concurrent processes

Cites work

• scientific article; zbMATH DE number 4035161 (Why is no real title available?)
• scientific article; zbMATH DE number 4085041 (Why is no real title available?)
• scientific article; zbMATH DE number 4094832 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• Deterministic buffer synchronization of sequential processes
• Free Choice Petri Nets
• Marked directed graphs
• Structure theory of equal conflict systems
• \(\{\mathrm{SC}\}^\ast\mathrm{ECS}\): a class of modular and hierarchical cooperating systems

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5940915)