Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ESOP
2008
Springer

favoriteEmaildiscussreport

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

13 years 6 months ago

The Conversation Calculus: A Model of Service-Oriented Computation

Download ctp.di.fct.unl.pt

Hugo Torres Vieira, Luís Caires, Joã

Real-time Traffic

ESOP 2008 | Programming Languages |

claim paper

Related Content

» Disciplining Orchestration and Conversation in ServiceOriented Computing

» A Type System for Client Progress in a ServiceOriented Calculus

» Mobility Mechanisms in Service Oriented Computing

» Formalizing Mobility in Service Oriented Computing

» Atomic Commit and Negotiation in Service Oriented Computing

» Checking Correctness of Transactional Behaviors

» Towards a formal framework for Choreography

» An Automatic Approach to Enable Replacement of Conversational Services

» Computational LambdaCalculus and Monads

Post Info
More Details (n/a)

Added	19 Oct 2010
Updated	19 Oct 2010
Type	Conference
Year	2008
Where	ESOP
Authors	Hugo Torres Vieira, Luís Caires, João Costa Seco

Comments (0)