scientific article

zbMath1169.68541MaRDI QIDQ3395989

Jan Friso Groote, Michel Reniers, W. J. Fokkink

Publication date: 15 September 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (1)

Mechanizing a process algebra for network protocols

This page was built for publication: