Journal of Logical and Algebraic Methods in Programming, Volume 130

Volume 130, January 2023

Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday

• 
  Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan:
  A denotational semantics of Simulink with higher-order UTP. 100809

Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers

• 
  Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
  Capturing constrained constructor patterns in matching logic. 100810

Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday

• 
  Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda:
  bGSL: An imperative language for specification and refinement of backtracking programs. 100811
• 
  Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby:
  A formal framework for security testing of automotive over-the-air update systems. 100812
• 
  Yousra Hafidi, Erik P. de Vink:
  Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets. 100813

Specification and Modelling of Computing Systems through Graphs and Graph Transformation

• 
  Jens Kosiol, Gabriele Taentzer:
  A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications. 100820

Special issue on Open Problems in Concurrency Theory

• 
  Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova:
  Preface to the special issue on Open Problems in Concurrency Theory. 100823

Regular articles

• 
  Elena Gómez-Martínez, Esther Guerra, Juan de Lara, Antonio Garmendia:
  Lifted structural invariant analysis of Petri net product lines. 100824

Specification and Modelling of Computing Systems through Graphs and Graph Transformation

• 
  Christopher M. Poskitt, Detlef Plump:
  Monadic second-order incorrectness logic for GP 2. 100825

Selected papers from 20th Workshop on Programming and Languages (PROLE 2021)

• 
  Carlos Galindo, Sergio Pérez, Josep Silva:
  Program slicing of Java programs. 100826

Regular articles

• 
  Carlos Olarte, Elaine Pimentel, Camilo Rocha:
  A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. 100827

Selected papers from 20th Workshop on Programming and Languages (PROLE 2021)

• 
  Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio:
  Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. 100828
• 
  Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson:
  Gaining trust by tracing security protocols. 100829

Special Issue on 31st Nordic Workshop on Programming Theory (NWPT 2019)

• 
  Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle, Uwe Wolter:
  Composition of multilevel domain-specific modelling languages. 100831

Selected papers from 20th Workshop on Programming and Languages (PROLE 2021)

• 
  Carlos Galindo, Sergio Pérez, Josep Silva:
  Exception-sensitive program slicing. 100832