A compositional framework to the specification of service protocols controllability and substitutability

DOI10.1080/00207160.2013.827177zbMath1297.68031OpenAlexW1992840936MaRDI QIDQ2921918

Nabil Hameurlain

Publication date: 14 October 2014

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160.2013.827177

zbMATH Keywords

controllabilityrefinementsubstitutabilityasynchronous compositionservice protocols

Mathematics Subject Classification ID

Network protocols (68M12)

Uses Software

• CADP
• INA

Cites Work

• Modular construction and partial order semantics of Petri nets
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Refinement and Asynchronous Composition of Modal Petri Nets
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

This page was built for publication: A compositional framework to the specification of service protocols controllability and substitutability