Behaviours of concurrent systems
From MaRDI portal
Publication:1145503
DOI10.1016/0304-3975(80)90004-3zbMath0445.68044MaRDI QIDQ1145503
Publication date: 1980
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(80)90004-3
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93A10: General systems
Related Items
On the Analysis of Petri Nets and their Synthesis from Process Languages, D-continuous causal nets: A model of non-sequential processes, A partial ordering semantics for CCS, An algebraic characterization of independence of Petri net processes, Concurrent histories: a basis for observing distributed systems, An algebra of processes, Partial ordering models for concurrency can be defined operationally, Concurrent transition systems, Concurrent systems and inevitability, Concurrency and atomicity, Processes of transforming structures, An algebraic description of system behaviours, Processes of timed Petri nets, Axiomatizing the subsumption and subword preorders on finite and infinite partial words, An extension of the notions of traces and of asynchronous automata
Cites Work