Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020

DOI10.1016/J.JLAMP.2022.100777zbMath1486.00022OpenAlexW4224216532MaRDI QIDQ2141295

No author found.

Publication date: 25 May 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.100777

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06)

Cites Work

• Secure information flow connections
• Comparing type systems for deadlock freedom
• Event structure semantics of (controlled) reversible CCS
• Event structures for the reversible early internal \(\pi\)-calculus
• Session-typed concurrent contracts

This page was built for publication: Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020