scientific article

zbMath0576.68044MaRDI QIDQ3696528

Antoni Mazurkiewicz

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decompositionPetri netssynchronizationconcurrent processestracessystem compositionmodular systemsystem behaviour

Mathematics Subject Classification ID

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

Related Items (19)

On interprocess communication. I: Basic formalism ⋮ Traces, dependency graphs and DNLC grammars ⋮ On the membership problem for regular DNLC grammars ⋮ On the structure of recognizable languages of dependence graphs ⋮ An algebra of processes ⋮ Mixed product and asynchronous automata ⋮ Interleaving set temporal logic ⋮ Theory of traces ⋮ Trace languages defined by regular string languages ⋮ Process Discovery Using Localized Events ⋮ On nets, algebras and modularity ⋮ Petri net languages revisited ⋮ Calculi of net structures and sets are similar ⋮ Some behavioural aspects of net theory ⋮ Connectedness and synchronization ⋮ Event structures and trace monoids ⋮ On interleaving behaviour of PT-nets ⋮ Membership problems for regular and context-free trace languages ⋮ Abstract interpretation of trace semantics for concurrent calculi

This page was built for publication: