Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Object oriented design with applications
Object oriented design with applications
A framework based on implementation relations for implementing LOTOS specifications
Computer Networks and ISDN Systems
Communication and Concurrency
Composition of LOTOS specifications
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
A Preorder for Partial Process Specifications
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ..
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Ready simulation for concurrency: It's logical!
Information and Computation
Ready simulation for concurrency: it's logical!
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 0.00 |
The structuring of the specification and development of distributed systems according to viewpoints, as advocated by the Reference Model for Open Distributed Processing, raises the question of when such viewpoint specifications may be considered consistent with one another. In this paper, we analyse the notion of consistency in the context of formal process specification. It turns out that different notions of correctness give rise to different consistency relations. Each notion of consistency is formally characterised and placed in a spectrum of consistency relations. An example illustrates the use of these relations for consistency checking.