Work

Denotational reasoning for asynchronous multiparty session types

Year: 2026

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-032-22723-2_3

Authors: Dylan McDermott, Nobuko Yoshida

Institution: University of Oxford

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: UK Research and Innovation, Engineering and Physical Sciences Research Council

Awards: Session Types for Reliable Distributed Systems (STARDUST), G5168243964, IDEAL: Reducing Carbon Footprints of IoT Devices through Extension of Active Lifespans, POST: Protocols, Observabilities and Session Types

OpenAlex ID: W7153295035

FWCI:

Cites: 37

Cited by:

Related to: