scientific article; zbMATH DE number 1638650

MaRDI QIDQ2736347zbMATH OpenFDO

Authors Ugo Montanari, Miranda Mowbray, Gian Luigi Ferrari

Publication date 29 August 2001

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Cited in

(2)

• Finitary logics for some CCS observational bisimulations
• Universal axioms for bisimulations

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 Q2736347)