scientific article; zbMATH DE number 1504839
From MaRDI portal
Publication:4502818
zbMath0956.68075MaRDI QIDQ4502818
Marta Simeoni, Francesco Parisi-Presicce, Martin Grosse-Rhode
Publication date: 7 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (6)
Towards a Notion of Transaction in Graph Rewriting ⋮ On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH ⋮ GETGRATS ⋮ Graph Transformations for the Specification of Access Control Policies ⋮ Graph-based specification of access control policies ⋮ Formal software specification with refinements and modules of typed graph transformation systems
This page was built for publication:
