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
- Topological Structures in Computer-Aided Music Analysis
- Stochastic process semantics for dynamical grammars
- MGS: a rule-based programming language for complex objects and collections
- An overview of the K semantic framework
- A Higher-Order Graph Calculus for Autonomic Computing
- The foundation of self-developing blob machines for spatial computing
This page was built for software: MGS
