swMATH22121MaRDI QIDQ33917FDOQ33917
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S1571066104002932
Cited In (16)
- 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
- HOCL
- Cellerator
- BioSPI
- Sisal
- NESL
- CLIPS
- HexaChord
- 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
