swMATH10025MaRDI QIDQ21999FDOQ21999
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-12029-9_3
Cited In (27)
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- Timed CTL model checking in Real-Time Maude
- An algebraic semantics for MOF
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Ptolemy
- MMT
- VESTA
- MultiVeStA
- PMaude
- PVeStA
- K tool
- MFE
- ITP
- Dist-Orc
- Kermeta
- SelfSync
- VIDEAS
- UML2Alloy
- FORMULA 2.0
- vlogsl
- TSMV
- Java+ITP
- Graph transformation for domain-specific discrete event time simulation
- PTL: a model transformation language based on logic programming
- On the behavioral semantics of real-time domain specific visual languages
This page was built for software: MOMENT2
