Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Using LOTOS for specifying the CHORUS distributed operating system kernel
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
A modal logic for message passing processes
Acta Informatica
An architectural description of intelligent network features and their interactions
Computer Networks and ISDN Systems - Special issue on feature interactions in telecommunications software
On the design of side-stick controllers in fly-by-wire aircraft
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Verification of Temporal Properties of Processes in a Setting with Data
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Specifying Properties of Basic LOTOS Processes Using Temporal Logic
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Building Tools for LOTOS Symbolic Semantics in Maude
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation defined on symbolic transition systems.