Mechanisms that enforce bounds on packet lifetimes
ACM Transactions on Computer Systems (TOCS)
A Discipline of Programming
On Time-Dependent Communication Protocols and Their Projections
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Modeling X.25 Using the Graph Model of Behavior
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Verifying network protocols using temporal logic
Verifying network protocols using temporal logic
Applications of Projections to a Structured Model of Communication Protocols
Applications of Projections to a Structured Model of Communication Protocols
Protocol Verification Via Projections
Protocol Verification Via Projections
An HDLC Protocol and Its Verification Using Image Protocols
An HDLC Protocol and Its Verification Using Image Protocols
Analysis of communication protocols via protocol projections
Analysis of communication protocols via protocol projections
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Modular verification of asynchronous networks
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Specification and verification of collusion-free broadcast networks
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Verified data transfer protocols with variable flow control
ACM Transactions on Computer Systems (TOCS)
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
Constructing Protocols with Alternative Functions
IEEE Transactions on Computers - Special issue on protocol engineering
Specification of Real-Time Broadcast Networks
IEEE Transactions on Computers - Special issue on protocol engineering
A stepwise refinement heuristic for protocol construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
IEEE Transactions on Software Engineering
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
An exercise in constructing multi-phase communication protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
| Hi-index | 0.00 |