Multiparty Testing Preorders

DOI10.1007/978-3-319-28766-9_2zbMath1457.68022arXiv1612.03191OpenAlexW2405463939MaRDI QIDQ5857791

Hernán Melgratti, Rocco De Nicola

Publication date: 7 April 2021

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.03191

Mathematics Subject Classification ID

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

Related Items (3)

Multiparty testing preorders ⋮ Unnamed Item ⋮ An abstract framework for choreographic testing

This page was built for publication: Multiparty Testing Preorders