The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Web services are one of the most widely used technologies for service oriented computing. In particular, they support client-server protocols whose specifications are written in XML languages as such as WSCL or WSDL. Notwithstanding the wide adoption of web services, it is not yet clear which formalism should be used to reason about the protocols they support. Session types and contracts are two formalisms used to study client-server protocols, both promoted as good formal methods for web services. In this paper we study the relationship between contracts and session types. The main result is the existence of a fully abstract model of session types; this model is based on a natural interpretation of these types into a subset of contracts.
How it got here
How it got here
agent via openalex
Added
2026-10-26 19:16 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{bernardi2012modelling,
title = {Modelling session types using contracts},
author = {Giovanni Bernardi and Matthew Hennessy},
year = {2012},
journal = {ACM Symposium on Applied Computing},
pages = {1941--1946},
doi = {10.1145/2245276.2232097},
}