Specifying Stateful Asynchronous Properties for Distributed Programs
From MaRDI portal
Publication:2914372
DOI10.1007/978-3-642-32940-1_16zbMath1364.68279OpenAlexW156140200MaRDI QIDQ2914372
Publication date: 25 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_16
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 (5)
Lightening global types ⋮ Monitoring networks through multiparty session types ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Unnamed Item
This page was built for publication: Specifying Stateful Asynchronous Properties for Distributed Programs
