scientific article
From MaRDI portal
Publication:4023058
zbMath0765.68007MaRDI QIDQ4023058
Ryszard Janicki, Peter E. Lauer
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent systemsPetri netssemanticscompositional specificationvector firing sequencesCOSY language
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (5)
Cyclic vector languages ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ Relational structures model of concurrency ⋮ Solving recursive net equations ⋮ The box algebra = Petri nets + process expressions
This page was built for publication: