A schematic axiom for open congruence

From MaRDI portal

Publication:866141

Jump to:navigation, search

zbMath1161.68620MaRDI QIDQ866141

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Tau laws for pi calculus

This page was built for publication: A schematic axiom for open congruence

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:866141&oldid=12820693"