- Wojciech Mostowski. Model-based fault injection for testing gray-box systems. Journal of Logic and Algebraic Programming, 103:31-45, 2019.
- L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe. Executable component-based semantics. Journal of Logic and Algebraic Programming, 103:184-212, 2019.
- Radoslaw Klimek. Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. Journal of Logic and Algebraic Programming, 104:201-226, 2019.
- Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann. A stable non-interleaving early operational semantics for the pi-calculus. Journal of Logic and Algebraic Programming, 104:227-253, 2019.
- Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva 0001, Fabio Zanasi. On series-parallel pomset languages: Rationality, context-freeness and automata. Journal of Logic and Algebraic Programming, 103:130-153, 2019.
- Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría. Multilevel coupled model transformations for precise and reusable definition of model behaviour. Journal of Logic and Algebraic Programming, 106:167-195, 2019.
- Jeremy Sproston. Verification and control for probabilistic hybrid automata with finite bisimulations. Journal of Logic and Algebraic Programming, 103:46-61, 2019.
- Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida. Precise subtyping for synchronous multiparty sessions. Journal of Logic and Algebraic Programming, 104:127-173, 2019.
- Daniel Schnetzer Fava, Martin Steffen, Volker Stolz. Operational semantics of a weak memory model with channel synchronization. Journal of Logic and Algebraic Programming, 103:1-30, 2019.
- José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic. Logics for Actor Networks: A two-stage constrained-hybridisation approach. Journal of Logic and Algebraic Programming, 106:141-166, 2019.