HOCL

swMATH7078MaRDI QIDQ19136FDOQ19136

Author name not available (Why is that?)

Described by source

• Generalised multisets for chemical programming

Cited In (6)

• Generalized multiset theory
• Title not available (Why is that?)
• A Port Graph Calculus for Autonomic Computing and Invariant Verification
• Runtime verification for biochemical programs
• Title not available (Why is that?)
• A Higher-Order Graph Calculus for Autonomic Computing

This page was built for software: HOCL