Expressiveness via Intensionality and Concurrency
From MaRDI portal
Publication:2938163
DOI10.1007/978-3-319-10882-7_13zbMath1432.68307arXiv1404.0956OpenAlexW2119102309MaRDI QIDQ2938163
Publication date: 13 January 2015
Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1404.0956
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
On the Expressiveness of Symmetric Communication ⋮ On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Expressiveness of concurrent intensionality ⋮ Unnamed Item ⋮ A calculus for collective-adaptive systems and its behavioural theory
This page was built for publication: Expressiveness via Intensionality and Concurrency
