MGS
From MaRDI portal
Software:33917
No author found.
Related Items (9)
Runtime verification for biochemical programs ⋮ Stochastic process semantics for dynamical grammars ⋮ A rewriting logic framework for operational semantics of membrane systems ⋮ Topological Structures in Computer-Aided Music Analysis ⋮ The foundation of self-developing blob machines for spatial computing ⋮ Spatial Calculus of Looping Sequences ⋮ MGS ⋮ An overview of the K semantic framework ⋮ A Higher-Order Graph Calculus for Autonomic Computing
This page was built for software: MGS
