Specification, composition, and automated verification of layered communication protocols

Authors:
David A. Karr
Affiliations:
-
Venue:
Specification, composition, and automated verification of layered communication protocols
Year:
1997

Citing 0
Cited 2

Programming with Live Distributed Objects

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Distributed data flow language for multi-party protocols

Proceedings of the Fifth Workshop on Programming Languages and Operating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract