Work

Monitoring Networks through Multiparty Session Types

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-38592-6_5

Authors: Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida

Institutions: University of Leicester, Queen Mary University of London, Imperial College London

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Leverhulme Trust, Engineering and Physical Sciences Research Council

Awards: From Data Types to Session Types---A Basis for Concurrency and Distribution, Conversation-Based Governance for Distributed Systems by Multiparty Session Types, Multiparty Session Types: Theory and Conversation-Oriented Programming, Multiparty Session Types: Theory and Conversation-Oriented Programming

OpenAlex ID: W2995356440

FWCI: 6.943

Cites: 14

Cited by: 69

Related to: 10