Specification and Validation of a Simple Overtaking Protocol using LOTOS

Publisher Website

1 January 1992

book chapter
Published by Elsevier

p. 377-392
https://doi.org/10.1016/b978-0-444-89402-1.50035-7

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

Modelling Dynamic Communication Structures in LOTOS
Published by Elsevier ,1992
An introduction to modal and temporal logics for CCS
Lecture Notes in Computer Science, 1991
Automated analysis of mutual exclusion algorithms using CCS
Formal Aspects of Computing, 1989
Modal logics for communicating systems
Theoretical Computer Science, 1987