Journal of Logical and Algebraic Methods in Programming

Title Publication Date Language Citations
Maximizing entropy over Markov processes2014/09/01English8
A logic-algebraic tool for reasoning with Knowledge-Based Systems2018/12/01English8
An extended framework for passive asynchronous testing2017/01/01English8
Monoids with tests and the algebra of possibly non-halting programs2015/03/01English7
Contextual equivalences in configuration structures and reversibility2017/01/01English7
Instrumenting a weakest precondition calculus for counterexample generation2018/10/01English7
Modeling and analyzing mobile ad hoc networks in Real-Time Maude2016/01/01English7
A bi-intuitionistic modal logic: Foundations and automation2016/06/01English7
Probabilistic timed graph transformation systems2018/12/01English7
Matching logic explained2021/04/01English7
Executable component-based semantics2019/02/01English6
Stubborn versus structural reductions for Petri nets2019/01/01English6
MAC A verified static information-flow control library2018/02/01English6
From imperative to rule-based graph programs2017/04/01English6
Causal-consistent rollback in a tuple-based language2017/04/01English6
Realisability of pomsets2019/11/01English6
The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication2018/11/01English6
Fixed points of functors2018/02/01English6
Dependency pairs for proving termination properties of conditional term rewriting systems2017/01/01English6
Multilevel coupled model transformations for precise and reusable definition of model behaviour2019/08/01English6
Labelled graph strategic rewriting for social networks2018/04/01English6
Inferring regular languages and ω -languages2018/08/01English5
Combining behavioural types with security analysis2015/11/01English5
Debugging Maude programs via runtime assertion checking and trace slicing2016/08/01English5
Symmetric Heyting relation algebras with applications to hypergraphs2015/05/01English5
A relation-algebraic approach to the “Hoare logic” of functional dependencies2014/03/01English5
Developments in concurrent Kleene algebra2016/06/01English5
Language definitions as rewrite theories2016/01/01English5
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement2019/04/01English5
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours2019/01/01English5