Cause-effect structures

DOI10.1016/0020-0190(88)90189-5zbMath0642.68108OpenAlexW2090362795MaRDI QIDQ1101232

Ludwik Czaja

Publication date: 1988

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(88)90189-5

zbMATH Keywords

concurrent systemscause-effect structurescondition-event Petri nets

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Colored cause-effect structures ⋮ A calculus of nets ⋮ Algebra of two-level cause-effect structures ⋮ Propositional description of finite cause-effect structures ⋮ Unnamed Item ⋮ Extensions of Elementary Cause-Effect Structures ⋮ Remarks on the equivalence of c-e structures and Petri nets ⋮ Finite processes in cause-effect structures and their composition ⋮ Process languages and nets

Cites Work

• Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
• A calculus of communicating systems
• Parallel program schemata
• Communicating sequential processes
• Unnamed Item

This page was built for publication: Cause-effect structures