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