Work

Multiparty Session C: Safe Parallel Programming with Message Optimisation

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-30561-0_15

Authors: Nicholas Ng, Nobuko Yoshida, Kohei Honda

Institutions: Imperial College London, Queen Mary University of London

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Engineering and Physical Sciences Research Council

Awards: Multiparty Session Types: Theory and Conversation-Oriented Programming, Multiparty Session Types: Theory and Conversation-Oriented Programming, Engineering Foundations of Web Services: Theories and Tool Support

OpenAlex ID: W2162077931

FWCI: 6.426

Cites: 42

Cited by: 79

Related to: 10