Goodbye ioco

DOI10.1007/978-3-031-15629-8_26zbMath1524.68196OpenAlexW4297922679MaRDI QIDQ6163899

Ramon Janssen, Jan Tretmans

Publication date: 26 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15629-8_26

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Observation equivalence as a testing equivalence
• Specification completion for IOCO
• Testing can be formal, too
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Goodbye ioco