A framework for modeling transfer protocols
- 1 August 2000
- journal article
- Published by Elsevier in Computer Networks
- Vol. 34 (2) , 317-337
- https://doi.org/10.1016/s1389-1286(00)00089-x
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Software and System Modeling Based on a Unified Formal SemanticsPublished by Springer Nature ,1998
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- An overview of LarchPublished by Springer Nature ,1993
- Mechanical verification of concurrent systems with TLAPublished by Springer Nature ,1993
- Estelle development toolset (EDT)Computer Networks and ISDN Systems, 1992
- “On the fly” verification of behavioural equivalences and preordersPublished by Springer Nature ,1992
- A survey of light-weight transport protocols for high-speed networksIEEE Transactions on Communications, 1990
- Decentralization of process nets with centralized controlDistributed Computing, 1989
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Defining livenessInformation Processing Letters, 1985