Publication:3873555
From MaRDI portal
zbMath0434.68041MaRDI QIDQ3873555
Publication date: 1979
event; cases; concurrency; conflict resolution; distributed processing; processes; condition; synchronic structure; enlogic structure
68R10: Graph theory (including graph drawing) in computer science
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93A05: Axiomatic systems theory
Related Items
Universal axioms for bisimulations, Graph rewriting for a partial ordering semantics of concurrent constraints programming, D-continuous causal nets: A model of non-sequential processes, Nets, sequential components and concurrency relations, A partial ordering semantics for CCS, Petri nets, event structures and domains. I, An algebraic description of system behaviours, An abstract machine for concurrent modular systems: CHARM, Amalgamation of graph transformations: a synchronization mechanism, Structure matrices for Petri nets and their applications