Formal verification of parallel programs
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The importance of the service concept in the design of data communications protocols
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Incremental specification in LOTOS
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
| Hi-index | 0.00 |
In this paper, we describe an approach for extending distributed system specifications. The approach consists of building a new specification Snew by adding a new behavior described by a specification Sadded to a specification Sold with preservation of the properties of Sold and Sadded. Snew has all the properties of Sold and Sadded, if Snew can do whatever Sold (and Sadded) can do, and it does not block where Sold (or Sadded) does not block. Our approach is described in terms of Labeled Transition Systems, and it is applicable for a wide range of specification languages.