Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Communication and concurrency
A rewriting strategy to verify observational congruence
Information Processing Letters
Squiggles - A Tool for the Analysis of LOTOS Specifications
Proceedings of the First International Conference on Formal Description Techniques
PAM: A Process Algebra Manipulator
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Experiences with specification and verification in LOTOS: a report on two case studies
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Hi-index | 0.00 |
In this paper we present an equational approach to the verification of concurrent systems specified in the ISO specification language LOTOS. The approach is based on term rewriting techniques. The kind of reasoning and verification strategies which can be performed are illustrated through two examples.