A Calculus of Global Interaction based on Session Types

DOI10.1016/j.entcs.2006.12.041zbMath1277.68171OpenAlexW2083914112WikidataQ126254644 ScholiaQ126254644MaRDI QIDQ2864218

Nobuko Yoshida, Kohei Honda, Marco Carbone

Publication date: 6 December 2013

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.2006.12.041

zbMATH Keywords

\(\pi\)-calculussession typesweb servicescommunication-centred programming

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Related Items (9)

A formal model for service-oriented interactions ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Realisability of pomsets ⋮ Connecting open systems of communicating finite state machines ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ Objects and session types ⋮ A barred operational semantics for a subset of WS-CDL with time restrictions ⋮ Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels ⋮ Theoretical Aspects of Communication-Centred Programming

Uses Software

• Pict

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Objects and session types
• The chemical abstract machine
• Realizability and verification of MSC graphs
• Inheritance of interorganizational workflows to enable business-to-business E-commerce
• A theory of regular MSC languages
• Subtyping for session types in the pi calculus
• Functions as processes
• Correspondence assertions for process synchronization in concurrent communications
• CONCUR 2004 - Concurrency Theory
• Trustworthy Global Computing
• Foundations of Software Science and Computation Structures

This page was built for publication: A Calculus of Global Interaction based on Session Types