The following pages link to MGS (Q33917):
Displaying 9 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- Stochastic process semantics for dynamical grammars (Q870806) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- The foundation of self-developing blob machines for spatial computing (Q933442) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- MGS: a rule-based programming language for complex objects and collections (Q2841247) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- Topological Structures in Computer-Aided Music Analysis (Q4595371) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)