Behaviours of concurrent systems

DOI10.1016/0304-3975(80)90004-3MaRDI QIDQ1145503zbMATH OpenOpenAlexFDO

Authors Józef Winkowski

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

zbMATH Keywords

behavioursconcurrent systemsPetri netprocesses

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General systems (93A10)

Cites work

• An algebraic characterization of the behaviour of non-sequential systems
• scientific article; zbMATH DE number 3557247 (Why is no real title available?)

Cited in

(16)

• 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
• On the Analysis of Petri Nets and their Synthesis from Process Languages
• Unifying Petri nets with restricted occurrence rule using partial algebra
• D-continuous causal nets: A model of non-sequential processes
• A partial ordering semantics for CCS

This page was built for publication: Behaviours of concurrent systems

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