Cited in
(16)- Runtime verification for biochemical programs
- MGS: a rule-based programming language for complex objects and collections
- Spatial calculus of looping sequences
- Stochastic process semantics for dynamical grammars
- HOCL
- Cellerator
- BioSPI
- Sisal
- NESL
- A rewriting logic framework for operational semantics of membrane systems
- CLIPS
- HexaChord
- A higher-order graph calculus for autonomic computing
- Topological structures in computer-aided music analysis
- The foundation of self-developing blob machines for spatial computing
- An overview of the K semantic framework
This page was built for software: MGS
