Timed Multiparty Session Types

DOI10.1007/978-3-662-44584-6_29zbMath1417.68117OpenAlexW169399732MaRDI QIDQ3190133

Weizhen Yang, Laura Bocchi, Nobuko Yoshida

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/43729/1/BYY14.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Timed runtime monitoring for multiparty conversations ⋮ Progress-preserving Refinements of CTA ⋮ Monitoring networks through multiparty session types ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Enforcing Availability in Failure-Aware Communicating Systems ⋮ Input urgent semantics for asynchronous timed session types

This page was built for publication: Timed Multiparty Session Types