HOCL

swMATH7078MaRDI QIDQ19136FDOQ19136

Author name not available (Why is that?)

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
• Runtime verification for biochemical programs
• Title not available (Why is that?)
• A higher-order graph calculus for autonomic computing
• Classical coordination mechanisms in the chemical model
• A port graph calculus for autonomic computing and invariant verification
• Squid
• MGS
• Knuth Bendix Orders
• Lambda Free RPOs

This page was built for software: HOCL