MGS
From MaRDI portal
Software:33917
swMATH22121MaRDI QIDQ33917FDOQ33917
Author name not available (Why is that?)
Cited In (9)
- Spatial calculus of looping sequences
- Runtime verification for biochemical programs
- A rewriting logic framework for operational semantics of membrane systems
- Stochastic process semantics for dynamical grammars
- A higher-order graph calculus for autonomic computing
- 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
