Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.68122OpenAlexW2491912653MaRDI QIDQ5899017FDOQ5899017

Authors: Samuele Carpineti, Cosimo Laneve 

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11693024

Recommendations

• A rude contract language for web services
• A theory of contracts for web services
• An algebraic theory for web service contracts
• The Must Preorder Revisited
• scientific article; zbMATH DE number 2087387

Mathematics Subject Classification ID

Theory of programming languages (68N15) Internet topics (68M11)

Cited In (4)

• Non-local configuration of component interfaces by constraint satisfaction
• A WSDL-based type system for asynchronous WS-BPEL processes
• A rude contract language for web services
• PiDuce- A project for experimenting web services technologies

Uses Software

• PiDuce
• XDuce

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899017)