A generic framework for \(n\)-protocol compatibility checking
type: Item
instance of: scholarly article
title: A generic framework for \(n\)-protocol compatibility checking
zbMATH Open document ID: 1245.68028
author: Francisco Durán
author: Meriem Ouederni
author: Gwen Salaün
published in: Science of Computer Programming
publication date: 2012-07-13T00:00:00Z
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6055922
zbMATH Keywords: service-oriented computing
zbMATH Keywords: SOC
zbMATH Keywords: transition systems
zbMATH Keywords: non-observable actions
zbMATH Keywords: compatibility
zbMATH Keywords: Maude
describes a project that uses: LTSA-WS
describes a project that uses: WSAT
describes a project that uses: mCRL2
describes a project that uses: BESERIAL
describes a project that uses: ITACA
describes a project that uses: CADP
describes a project that uses: Maude
MaRDI profile type: Publication
full work available at URL: j.scico.2011.03.009
OpenAlex ID: W85326815
cites work: On the usability of process algebra: An architectural view
cites work: Specification and proof in membership equational logic
cites work: On Communicating Finite-State Machines
cites work: Compatibility and inheritance in software architectures
cites work: Maude: specification and programming in rewriting logic
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Q2989001
cites work: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
cites work: Q3614665
cites work: Symbolic bisimulations
cites work: A symbolic approach to value-passing processes
cites work: Q4939994
cites work: Automatic Generation of Adaptation Contracts
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: A calculus of communicating systems
cites work: Modal logics for mobile processes
DOI: 10.1016/J.SCICO.2011.03.009
description: scientific article; zbMATH DE number 6055922