Mutually Testing Processes

DOI10.2168/LMCS-11(2:1)2015zbMath1390.68460OpenAlexW2400950758MaRDI QIDQ5246727

Giovanni Bernardi, Matthew C. B. Hennessy

Publication date: 22 April 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-11(2:1)2015

zbMATH Keywords

algebraic characterizationsprocess equivalencesservers, clients and peerstesting theory of processes

Mathematics Subject Classification ID

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

Related Items (2)

A Theory of Monitors ⋮ A theory of monitors

This page was built for publication: Mutually Testing Processes