A generic framework for n-protocol compatibility checking
- 1 July 2012
- journal article
- research article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 77 (7-8), 870-886
- https://doi.org/10.1016/j.scico.2011.03.009
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Checking Protocol Compatibility using MaudeElectronic Notes in Theoretical Computer Science, 2009
- Automatic Generation of Adaptation ContractsElectronic Notes in Theoretical Computer Science, 2009
- A Model-Based Approach to the Verification and Adaptation of WF/.NET ComponentsElectronic Notes in Theoretical Computer Science, 2008
- Describing and reasoning on Web Services using Process AlgebraInternational Journal of Business Process Integration and Management, 2006
- Behavior protocols for software componentsIEEE Transactions on Software Engineering, 2002
- Protocol specifications and component adaptorsACM Transactions on Programming Languages and Systems, 1997
- Symbolic bisimulationsTheoretical Computer Science, 1995
- Modal logics for mobile processesTheoretical Computer Science, 1993
- The control of discrete event systemsProceedings of the IEEE, 1989
- On Communicating Finite-State MachinesJournal of the ACM, 1983