Theoretical aspects of communication-centred programming
type: Item
instance of: scholarly article
zbMATH Open document ID: 1279.68050
author: Marco Carbone
author: Kohei Honda
author: Nobuko Yoshida
published in: Electronic Notes in Theoretical Computer Science
publication date: 2014-01-17T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68M11
zbMATH DE Number: 6247489
zbMATH Keywords: web services
zbMATH Keywords: \(\pi\)-calculus
zbMATH Keywords: choreography
zbMATH Keywords: end-point projection
zbMATH Keywords: session types
MaRDI profile type: MaRDI publication profile
full work available at URL: j.entcs.2008.04.007
OpenAlex ID: W2011070235
cites work: Q4230786
cites work: Correspondence assertions for process synchronization in concurrent communications
cites work: A calculus of global interaction based on session types
cites work: Structured Communication-Centred Programming for Web Services
cites work: Bounded Session Types for Object Oriented Languages
cites work: Using encryption for authentication in large networks of computers
cites work: Inheritance of interorganizational workflows to enable business-to-business E-commerce
cites work: CONCUR 2004 - Concurrency Theory
DOI: 10.1016/J.ENTCS.2008.04.007
Recommended article: Semantics of communication in simple multimodular programs
Recommended article: Q4795345
Recommended article: Formalization of communication and behaviour in object-oriented analysis
Recommended article: Q4536591
Recommended article: Semantics of communicating processes
Recommended article: Communication relations: A paradigm for parallel program design
Recommended article: A theory of higher order communicating systems
title: Theoretical aspects of communication-centred programming
description: scientific article; zbMATH DE number 6247489