This volume contains the JLAMP special issue on the twelfth edition of the workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2020). The articles cover topics ranging from the semantics of communicating systems, to static and dynamic analysis techniques for session-based communications, to information flow analysis in heterogeneous organisations. (C) 2022 Elsevier Inc. All rights reserved.
Balzer, S., Padovani, L. (2022). THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING.
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Padovani, Luca
2022
Abstract
This volume contains the JLAMP special issue on the twelfth edition of the workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2020). The articles cover topics ranging from the semantics of communicating systems, to static and dynamic analysis techniques for session-based communications, to information flow analysis in heterogeneous organisations. (C) 2022 Elsevier Inc. All rights reserved.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
