Attribute-based transactions in service oriented computing

DOI10.1017/S0960129512000904zbMath1361.68059OpenAlexW1964355113MaRDI QIDQ5740634

Laura Bocchi, Emilio Tuosto

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129512000904

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Testing equivalences for processes
• On the Expressive Power of Primitives for Compensation Handling
• Communicating Transactions
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

This page was built for publication: Attribute-based transactions in service oriented computing