Journal of Logical and Algebraic Methods in Programming, Volume 121

Volume 121, June 2021

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

• 
  Magne Haveraaen, Jaakko Järvi:
  Semantics of multiway dataflow constraint systems. 100634

Special issue on 'E pur si muove' (A tribute to José Manuel Esgalhado Valença on the occasion of his Jubilation)

• 
  Jean-Christophe Filliâtre:
  Simpler proofs with decentralized invariants. 100645

Special issue on Dynamic Logic: New Trends and Applications

• 
  Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
  A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. 100662

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

• 
  Paolo Bottoni, Rocco De Nicola, Daniele Gorla:
  Tribute to Anna Labella. 100663

Special issue on Working Formal Methods (extended selected papers from FROM 2019)

• 
  Madalina Erascu, Flavia Micota, Daniela Zaharie:
  Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking. 100664

Regular articles

• 
  Andrei Arusoaie:
  Certifying Findel derivatives for blockchain. 100665
• 
  Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia:
  Reasoning about distributed information with infinitely many agents. 100674
• 
  Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
  On primitives for compensation handling as adaptable processes. 100675

Special issue on Working Formal Methods (extended selected papers from FROM 2019)

• 
  Georgiana Caltais, Hünkar Can Tunç:
  Explaining safety failures in NetKAT. 100676

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

• 
  Hendrik Maarand, Tarmo Uustalu:
  Operational semantics with semicommutations. 100677

Regular articles

• 
  Imed Eddine Bennour:
  Formal verification of timed synchronous dataflow graphs using Lustre. 100678

Special issue on Dynamic Logic: New Trends and Applications

• 
  Diana Costa, Manuel A. Martins:
  Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. 100679

Regular articles

• 
  Salvador Lucas:
  Applications and extensions of context-sensitive rewriting. 100680

Special issue on Relational and Algebraic Methods in Computer Science 2018

• 
  Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
  Automated verification of reactive and concurrent programs by calculation. 100681

Special issue on Dynamic Logic: New Trends and Applications

• 
  Joseph Boudou, Andreas Herzig, Nicolas Troquard:
  Resource separation in dynamic logic of propositional assignments. 100683

Special issue on 'E pur si muove' (A tribute to José Manuel Esgalhado Valença on the occasion of his Jubilation)

• 
  Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò:
  Event-Based Time-Stamped Claim Logic. 100684

Special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) 2020

• 
  Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida:
  Event structure semantics of (controlled) reversible CCS. 100686

Regular articles

• 
  Salvador Lucas:
  The origins of the halting problem. 100687