Publication:2767182
From MaRDI portal
zbMath0983.68130MaRDI QIDQ2767182
Egon Börger, Elvinia Riccobene, Alessandra Cavarra
Publication date: 28 January 2002
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Analysis of UML Activities Using Dynamic Meta Modeling, Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems, Partial order semantics for use case and task models