Meeting Deadlines Together

DOI10.4230/LIPICS.CONCUR.2015.283zbMath1374.68320OpenAlexW2281995753MaRDI QIDQ5357710

Julien Lange, Nobuko Yoshida, Laura Bocchi

Publication date: 12 September 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CONCUR.2015.283

zbMATH Keywords

timed automatamultiparty session typesglobal specification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Multiparty session types, beyond duality ⋮ Timed runtime monitoring for multiparty conversations ⋮ On the Undecidability of Asynchronous Session Subtyping ⋮ Progress-preserving Refinements of CTA ⋮ Enforcing Availability in Failure-Aware Communicating Systems ⋮ Input urgent semantics for asynchronous timed session types

This page was built for publication: Meeting Deadlines Together