Multiparty testing preorders

DOI10.46298/lmcs-19(1:1)2023OpenAlexW2951463882MaRDI QIDQ5060196

Hernán Melgratti, Rocco De Nicola

Publication date: 9 January 2023

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

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

zbMATH Keywords

Mazurkiewicz tracesmultiparty compositionmust-testing preorder

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• Cassandra
• Dynamo

Cites Work

• Unnamed Item
• Unnamed Item
• Contract-based discovery of Web services modulo simple orchestrators
• Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures
• Testing equivalences for processes
• Mutually Testing Processes
• Deciding choreography realizability
• A theory of contracts for web services
• The Must Preorder Revisited
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Multiparty Testing Preorders

This page was built for publication: Multiparty testing preorders