Communicating sequential processes
Communicating sequential processes
Observation equivalence as a testing equivalence
Theoretical Computer Science
Algebraic theory of processes
A framework based on implementation relations for implementing LOTOS specifications
Computer Networks and ISDN Systems
Information and Computation - Special issue on EXPRESS 1997
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Friendly Testing as a Conformance Relation
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)
Global Timed Bisimulation: An Introduction
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Congruent Weak Conformance, a Partial Order among Processes
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Practical verification and synthesis of low latency asynchronous systems
Practical verification and synthesis of low latency asynchronous systems
| Hi-index | 0.00 |
This paper addresses the study of bisimulation based conformance relations in which input and output actions not presented in the specification are added to the implementation. A new definition, that we called soft conformance, is given. Then, we concentrate on the study of the conditions under which a context preserves the soft conformance relation of two agents. These conditions depend both on the specification and the implementation in the conformance relation and also on the context. Since the addition of extraneous actions to the implementation allows to define malicious contexts that would not preserve the conformance relation, such a characterisation of the family of contexts preserving each individual pair (implementation and specification) in the conformance relation is the best result that can be expected in this direction.