Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols

Authors:
Sudhir Aggarwal;Daniel Barbará;Kalman Z. Meth
Affiliations:
AT&T Bell Laboratories, Murray Hill, NJ;Princeton Univ., Princeton, NJ;New York Univ., New York, NY
Venue:
IEEE Transactions on Software Engineering
Year:
1987

Citing 0
Cited 9

The IC model of parallel computation and programming environment

ACM SIGCOMM Computer Communication Review
Adding liveness properties to coupled finite-state machines

ACM Transactions on Programming Languages and Systems (TOPLAS)
A User Friendly Software Environment for Protocol Synthesis

IEEE Transactions on Computers - Special issue on protocol engineering
Escort: An Environment for Specifying Communication Requirements

IEEE Software
A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency

IEEE Transactions on Software Engineering
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols

IEEE Transactions on Software Engineering
The IC* Model of Parallel Computation and Programming Environment

IEEE Transactions on Software Engineering
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols

IEEE Transactions on Software Engineering
Specification and analysis of a data transfer protocol using systems of communicating machines

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

SPANNER is a software package for the specification, analysis, and evaluation of protocols. It is based on a mathematical model of coordinating processes called the selection/resolution model.