Behaviours of concurrent systems
From MaRDI portal
Publication:1145503
DOI10.1016/0304-3975(80)90004-3zbMath0445.68044OpenAlexW2050298454MaRDI 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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General systems (93A10)
Related Items
Concurrent histories: a basis for observing distributed systems, An algebra of processes, An extension of the notions of traces and of asynchronous automata, Partial ordering models for concurrency can be defined operationally, Concurrent transition systems, Concurrent systems and inevitability, Concurrency and atomicity, A partial ordering semantics for CCS, Processes of transforming structures, An algebraic description of system behaviours, Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra, On the Analysis of Petri Nets and their Synthesis from Process Languages, An algebraic characterization of independence of Petri net processes, Processes of timed Petri nets, D-continuous causal nets: A model of non-sequential processes, Axiomatizing the subsumption and subword preorders on finite and infinite partial words
Cites Work
