scientific article
From MaRDI portal
Publication:2767182
zbMath0983.68130MaRDI QIDQ2767182
Egon Börger, Elvinia Riccobene, Alessandra Cavarra
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Partial order semantics for use case and task models ⋮ Analysis of UML Activities Using Dynamic Meta Modeling ⋮ Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
This page was built for publication:
