Preface to the special issue on open problems in concurrency theory
type: Item
instance of: scholarly article
title: Preface to the special issue on open problems in concurrency theory
zbMATH Open document ID: 1498.00033
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2022-11-16T00:00:00Z
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 7618122
MaRDI profile type: Publication
full work available at URL: j.jlamp.2022.100823
OpenAlex ID: W4309340106
cites work: Ensuring liveness properties of distributed systems: open problems
cites work: Nested-unit Petri nets
cites work: Declarative debugging of concurrent Erlang programs
cites work: Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours
cites work: Precise subtyping for synchronous multiparty sessions
cites work: A stable non-interleaving early operational semantics for the pi-calculus
cites work: Higher-order linearisability
cites work: Verification and control for probabilistic hybrid automata with finite bisimulations
cites work: On series-parallel pomset languages: rationality, context-freeness and automata
DOI: 10.1016/J.JLAMP.2022.100823
description: scientific article; zbMATH DE number 7618122