HOCL
From MaRDI portal
Cited in
(10)- Generalized multiset theory
- Runtime verification for biochemical programs
- scientific article; zbMATH DE number 7204430 (Why is no real title available?)
- A higher-order graph calculus for autonomic computing
- Classical coordination mechanisms in the chemical model
- Squid
- A port graph calculus for autonomic computing and invariant verification
- MGS
- Knuth Bendix Orders
- Lambda Free RPOs
This page was built for software: HOCL
