Concurrency and loose semantics of open graph transformation systems

DOI10.1017/S0960129501003553zbMath1009.68095OpenAlexW2038044719MaRDI QIDQ4792940

Fernando Orejas, Hartmut Ehrig, Mercè Llabrés, Reiko Heckel

Publication date: 17 February 2003

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129501003553

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

An Institution for Graph Transformation

Uses Software

• PROGRES

This page was built for publication: Concurrency and loose semantics of open graph transformation systems