MGS
From MaRDI portal
Publication:2841247
DOI10.1016/S1571-0661(04)00293-2zbMath1268.68041WikidataQ120122316 ScholiaQ120122316MaRDI QIDQ2841247
Jean-Louis Giavitto, Olivier J. J. Michel
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Related Items (5)
Runtime verification for biochemical programs ⋮ A rewriting logic framework for operational semantics of membrane systems ⋮ Spatial Calculus of Looping Sequences ⋮ An overview of the K semantic framework ⋮ A Higher-Order Graph Calculus for Autonomic Computing
Uses Software
Cites Work
- Unnamed Item
- Principles of programming with complex objects and collection types
- Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps
- The chemical abstract machine
- ``The arrival of the fittest: Toward a theory of biological organization
- Computing with membranes
- Logical string rewriting
This page was built for publication: MGS
