Specifiying and Proving Communication Closedness in Protocols

Authors:
Wil Janssen;Job Zwiers
Affiliations:
-;-
Venue:
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Year:
1993

Citing 0
Cited 3

Application of Partial-Order Methods to Reactive Programswith Event Memorization

Real-Time Systems
Proving refinement using transduction

Distributed Computing - Special issue: Verification of lazy caching
Aspect Oriented Approach for Capturing and Verifying Distributed Properties

Languages: From Formal to Natural

Quantified Score

Hi-index	0.00

Visualization

Abstract