Specification and Verification of a Network Nail System

Authors:
Susan S. Owicki
Affiliations:
-
Venue:
Program Construction, International Summer Schoo
Year:
1978

Citing 0
Cited 3

Modular verification of concurrent programs

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A function oriented corporate network

SIGCOMM '83 Proceedings of the eighth symposium on Data communications
Structured Specification of Communicating Systems

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract