Preface to the special issue on open problems in concurrency theory

DOI10.1016/J.JLAMP.2022.100823zbMath1498.00033OpenAlexW4309340106MaRDI QIDQ2096427

No author found.

Publication date: 16 November 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100823

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cites Work

• Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours
• Verification and control for probabilistic hybrid automata with finite bisimulations
• On series-parallel pomset languages: rationality, context-freeness and automata
• Declarative debugging of concurrent Erlang programs
• Ensuring liveness properties of distributed systems: open problems
• Nested-unit Petri nets
• Higher-order linearisability
• Precise subtyping for synchronous multiparty sessions
• A stable non-interleaving early operational semantics for the pi-calculus

This page was built for publication: Preface to the special issue on open problems in concurrency theory