Graph Transformation with Dependencies for the Specification of Interactive Systems
From MaRDI portal
Publication:3184727
DOI10.1007/978-3-642-03429-9_8zbMath1253.68192MaRDI QIDQ3184727
Andrea Corradini, Leila Ribeiro, Luciana Foss
Publication date: 22 October 2009
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03429-9_8
Uses Software
Cites Work
- Unnamed Item
- Zero-safe nets: Comparing the collective and individual token approaches.
- Causal Message Sequence Charts
- Graph Transactions as Processes
- Handbook of Graph Grammars and Computing by Graph Transformation
- Towards a Notion of Transaction in Graph Rewriting
- LSCs: Breathing life into message sequence charts