Journal of Logical and Algebraic Methods in Programming

Title Publication Date Language Citations
Arrow's Theorem for incomplete relations2014/03/01English
Formal derivation of Greedy algorithms from relational specifications: A tutorial2016/08/01English
Editorial Board2016/02/01English
Trustworthy variant derivation with translation validation for safety critical product lines2016/10/01English
Foreword to the Special Issue on Formal Methods for Software Product Line Engineering2016/01/01English
Concurrent weighted logic2015/11/01English
Algorithms for Kleene algebra with converse2016/06/01English
Realizable temporal logics for web service choreography2016/08/01English
Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)2015/09/01English
Editorial for the JLAMP Special Issue on automated specification and verification of web systems2015/07/01English
Automated type-based analysis of injective agreement in the presence of compromised principals2015/09/01English
Editorial Board2015/07/01English
Relational characterisations of paths2020/12/01English
Specifying reversibility with TLA+2020/11/01English
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels2020/08/01English
Axiomatization and computability of a variant of iteration-free PDL with fork2019/11/01English
Preface to the special issue on the 11th International Conference on Graph Transformation2020/04/01English
Editorial Board2020/02/01English
DaLí - Dynamic Logic, new trends and applications2020/02/01English
Logical characterisations, rule formats and compositionality for input-output conformance simulation2019/08/01English
Some decidability results on one-pass reductions2019/06/01English
Finding models through graph saturation2018/11/01English
Consistency in Parametric Interval Probabilistic Timed Automata2020/01/01English
Logics for Actor Networks: A two-stage constrained-hybridisation approach2019/08/01English
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software2019/08/01English
Editorial Board2019/08/01English
Preface to the special issue on the 10th International Conference on Graph Transformation2019/04/01English
Editorial Board2019/02/01English
Spreading nets: A uniform approach to unfoldings2020/04/01English
Editorial Board2019/01/01English