Formal analysis of the alternating bit protocol by temporal Petri nets
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (11) , 1273-1281
- https://doi.org/10.1109/32.60315
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Verifying temporal properties without temporal logicACM Transactions on Programming Languages and Systems, 1989
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Infinite behaviour of Petri netsTheoretical Computer Science, 1983
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- From State Machines to Temporal Logic: Specification Methods for Protocol StandardsIEEE Transactions on Communications, 1982
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976
- Decision problems forω-automataTheory of Computing Systems, 1969
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955