Theoretical Aspects of Communication-Centred Programming

DOI10.1016/J.ENTCS.2008.04.007zbMath1279.68050OpenAlexW2011070235MaRDI QIDQ2870194

Nobuko Yoshida, Marco Carbone, Kohei Honda

Publication date: 17 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.007

zbMATH Keywords

\(\pi\)-calculussession typesweb serviceschoreographyend-point projection

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items (3)

Objects and session types ⋮ A centralized and a decentralized method to automatically derive choreography-conforming web service systems ⋮ A barred operational semantics for a subset of WS-CDL with time restrictions

Cites Work

• Unnamed Item
• Inheritance of interorganizational workflows to enable business-to-business E-commerce
• A Calculus of Global Interaction based on Session Types
• Bounded Session Types for Object Oriented Languages
• Using encryption for authentication in large networks of computers
• Correspondence assertions for process synchronization in concurrent communications
• CONCUR 2004 - Concurrency Theory
• Structured Communication-Centred Programming for Web Services

This page was built for publication: Theoretical Aspects of Communication-Centred Programming