scientific article; zbMATH DE number 1407502

MaRDI QIDQ4940887zbMATH OpenFDO

Authors Luca Aceto, Wan Fokkink, Chris Verhoef

Publication date 6 April 2000

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(4)

• DyNetKAT: an algebra of dynamic networks
• SOS formats and meta-theory: 20 years after
• A format for semantic equivalence comparison
• \(a\)-logic with arrows

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4940887)