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