scientific article
From MaRDI portal
Publication:3992422
zbMath0800.68101MaRDI QIDQ3992422
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ProceedingsSymposiumIFIPAtlantic City, NJ (USA)SpecificationVerificationProtocol specification, testing and verificationTesting and simulation
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Testability of a communicating system through an environment, More Relational Concurrent Refinement: Traces and Partial Relations, Failure-equivalent transformation of transition systems to avoid internal actions, Well-structured transition systems everywhere!, Specification and analysis of a composition of protocols, (Bi)simulations up-to characterise process semantics, A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
