Journal of Logical and Algebraic Methods in Programming, Volume 119

Volume 119, February 2021

Interaction and Concurrency Experience 2019

• 
  Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto:
  Composition and decomposition of multiparty sessions. 100620

Working Formal Methods (extended selected papers from FROM 2019)

• 
  Marius Bozga, Radu Iosif, Joseph Sifakis:
  Checking deadlock-freedom of parametric component-based systems. 100621

Interaction and Concurrency Experience 2019

• 
  Ivan Prokic, Hugo Torres Vieira:
  The C_π-calculus: A model for confidential name passing. 100622

Logics and Categories for Distribution and Concurrency – A tribute to Anna Labella in occasion of her retirement

• 
  Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi:
  Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. 100630
• 
  Daniele Gorla, Ivano Salvo:
  Conflict vs causality in event structures. 100631

Regular Articles

• 
  Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan:
  Semantics of temporal constrained objects. 100632

Special issue on 30th Nordic Workshop on Programming Theory (NWPT 2018)

• 
  Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
  Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. 100633

Working Formal Methods (extended selected papers from FROM 2019)

• 
  Isabela Dramnesc, Tudor Jebelean:
  Synthesis of sorting algorithms using multisets in Theorema. 100635

Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) 2019

• 
  Adrian Francalanza, Clare Cini:
  Computer says no: Verdict explainability for runtime monitors using a local proof system. 100636