HOCL

MaRDI QIDQ19136swMATHFDO

Official website http://hal.archives-ouvertes.fr/docs/00/70/52/83/PDF/HOCL.pdf

Described by source

• Generalised multisets for chemical programming

Cited in

(10)

• Generalized multiset theory
• Squid
• Runtime verification for biochemical programs
• MGS
• Classical coordination mechanisms in the chemical model
• A higher-order graph calculus for autonomic computing
• Knuth Bendix Orders
• Lambda Free RPOs
• scientific article; zbMATH DE number 7204430 (Why is no real title available?)
• A port graph calculus for autonomic computing and invariant verification

This page was built for software: HOCL