Testability of a communicating system through an environment

DOI10.1007/3-540-56610-4_87zbMath1497.68335OpenAlexW1600758578MaRDI QIDQ5044760

No author found.

Publication date: 2 November 2022

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

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_87

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observation equivalence as a testing equivalence
• Algebra of communicating processes with abstraction
• Extensional equivalences for transition systems
• A calculus of communicating systems
• Testing equivalences for processes

This page was built for publication: Testability of a communicating system through an environment