An Algebraic Theory for Web Service Contracts

Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-015-0334-2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A Theory of Contracts for Web Services

ACM SIGPLAN Notices
Computer Science
2008English

Semi-Automated Management of Web Service Contracts

International Journal of Services Sciences
2008English

Runtime Enforcement of Web Service Message Contracts With Data

IEEE Transactions on Services Computing
Information SystemsComputer NetworksHardwareCommunicationsComputer Science ApplicationsManagementArchitecture
2012English

An Algebraic Theory of Complexity for Discrete Optimization

SIAM Journal on Computing
MathematicsComputer Science
2013English

An Algebraic Theory of Order

ESAIM: Mathematical Modelling and Numerical Analysis
Numerical AnalysisApplied MathematicsAnalysisSimulationModelingComputational Mathematics
2009English

Automata for Analysing Service Contracts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Automated Negotiation for Service Contracts

2006English

An Algebraic Approach to Information Theory

2010English

An Orchestration for Distributed Web Service Handlers

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy