Theoretical aspects of communication-centred programming

DOI10.1016/J.ENTCS.2008.04.007MaRDI QIDQ2870194zbMATH OpenOpenAlexFDO

Authors Marco Carbone, Kohei Honda, Nobuko Yoshida

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\)-calculuschoreographyend-point projectionsession typesweb services

Mathematics Subject Classification ID

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

Recommendations

• Semantics of communication in simple multimodular programs
• scientific article; zbMATH DE number 1873234
• Formalization of communication and behaviour in object-oriented analysis
• scientific article; zbMATH DE number 1759600
• Semantics of communicating processes
• Communication relations: A paradigm for parallel program design
• A theory of higher order communicating systems

Cites work

• A calculus of global interaction based on session types
• Bounded Session Types for Object Oriented Languages
• CONCUR 2004 - Concurrency Theory
• Correspondence assertions for process synchronization in concurrent communications
• scientific article; zbMATH DE number 1250176 (Why is no real title available?)
• Inheritance of interorganizational workflows to enable business-to-business E-commerce
• Structured Communication-Centred Programming for Web Services
• Using encryption for authentication in large networks of computers

Cited in

(6)

• Objects and session types
• A barred operational semantics for a subset of WS-CDL with time restrictions
• A calculus of global interaction based on session types
• Structured Communication-Centred Programming for Web Services
• A centralized and a decentralized method to automatically derive choreography-conforming web service systems
• Semantics of communication in simple multimodular programs

This page was built for publication: Theoretical aspects of communication-centred programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870194)