scientific article
From MaRDI portal
Publication:4003214
zbMath0760.68057MaRDI QIDQ4003214
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (5)
Discovering Block-Structured Process Models from Event Logs - A Constructive Approach ⋮ Unnamed Item ⋮ Simplification of a complex signal transduction model using invariants and flow equivalent servers ⋮ Efficient verification of distributed real-time systems with broadcasting behaviors ⋮ On the parameterized complexity of the synthesis of Boolean nets with restricted place environments
This page was built for publication: