Pages that link to "Item:Q2841247"
From MaRDI portal
The following pages link to MGS: a rule-based programming language for complex objects and collections (Q2841247):
Displaying 9 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- Topological rewriting and the geometrization of programming (Q933444) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- M3Set -- A language for handling of distributed and persistent sets of objects (Q1391580) (← links)
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch (Q2655500) (← links)
- Mumbo: a rule-based implementation of a run-time program generation language (Q2863869) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)