Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Programming Languages and Systems

From MaRDI portal
Publication:5899017
Jump to:navigation, search

DOI10.1007/11693024zbMATH Open1178.68122OpenAlexW2491912653MaRDI QIDQ5899017FDOQ5899017


Authors: Samuele Carpineti, Cosimo Laneve Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5899017&oldid=16739847"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 4 February 2024, at 19:08. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki