Theoretical Aspects of Communication-Centred Programming
From MaRDI portal
Publication:2870194
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
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