Journal of Logical and Algebraic Methods in Programming

Article	Citations
Editorial Board	14
Editorial Board	13
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	12
Formally verified animation for RoboChart using interaction trees	9
Open compliance in multiparty sessions with partial typing	7
A formal framework for security testing of automotive over-the-air update systems	6
Program equivalence in a typed probabilistic call-by-need functional language	5
Advancing orchestration synthesis for contract automata	5
Metalevel transformation of strategies	5
Optimizing term rewriting with creeper trace transducers	5
Verification of dynamic bisimulation theorems in Coq	5
On proving that an unsafe controller is not proven safe	5
Formalizing CCS and π-calculus in Guarded Cubical Agda	5
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks	5
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic	5
A formal framework for distributed cyber-physical systems	4
Static checking of GDPR-related privacy compliance for object-oriented distributed systems	4
Coherent modal transition systems refinement	4
Trace preservation in B and Event-B refinements	4
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems	4
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems	4
Event structures for the reversible early internal π-calculus	4
Verification of mutable linear data structures and iterator-based algorithms in Dafny	4
Capturing constrained constructor patterns in matching logic	4
Optimization of rewrite theories by equational partial evaluation	3

Program slicing of Java programs	3
Maude2Lean: Theorem proving for Maude specifications using Lean	3
Specification of systems with parameterised events: An institution-independent approach	3
Simulating and model checking membrane systems using strategies in Maude	3
A process calculus for privacy-preserving protocols in location-based service systems	3
Exception-sensitive program slicing	3
Partially typed multiparty sessions with internal delegation	3
Editorial Board	3
Editorial Board	3
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points	3
Editorial Board	3
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar	3
A Perron–Frobenius theorem for deciding matrix growth	3
Editorial Board	2
Protocol choice and iteration for the free cornering	2
Monk algebras and Ramsey theory	2
Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification	2
Generation of algebraic data type values using evolutionary algorithms	2
Fundamentals of compositional rewriting theory	2
ElixirST: A session-based type system for Elixir modules	2
Editorial Board	2
Editorial Board	2
Editorial Board	2
Bunch theory: Axioms, logic, applications and model	2
Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021)	2
A logical approach to graph databases	2
Editorial Board	2
Probabilistic mediator: A coalgebraic perspective	2
Reasoning about distributed information with infinitely many agents	2
Editorial Board	2
A rewriting logic semantics for the analysis of P programs	2
Semantics of multiway dataflow constraint systems	2
Explaining safety failures in NetKAT	1
Controlling stormwater detention ponds under partial observability	1
Many-sorted hybrid modal languages	1
A tableau construction for finite linear-time temporal logic	1
Strategies, model checking and branching-time properties in Maude	1
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3	1
Certifying expressive power and algorithms of reversible primitive permutations with Lean	1
Hardware Trojan detection via rewriting logic	1
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework	1
Event-Based Time-Stamped Claim Logic	1
Specification and modelling of computing systems through graphs and graph transformation	1
Formal lumping of polynomial differential equations through approximate equivalences	1
Formalization of the inverse kinematics of three-fingered dexterous hand	1
Towards refinable choreographies	1
On difunctions	1
Realizability modulo theories	1
Associative unification in Maude	1
Editorial Board	1

A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks	1
Guest Editor's foreword	1
Editorial Board	1
Decomposing monolithic processes in a process algebra with multi-actions	1
Composition of multilevel domain-specific modelling languages	1
Preface to the special issue on Open Problems in Concurrency Theory	1
Editorial Board	1
Operational semantics with semicommutations	1
Hypergraph Lambek grammars	1
Event structure semantics of (controlled) reversible CCS	1
The Maude strategy language	1
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis	1
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring	1
Towards a type-based abstract semantics for Python	1
When causality meets fairness: A survey	1
The generalised distribution semantics and projective families of distributions	1
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis	1
Control-data separation and logical condition propagation for efficient inference on probabilistic programs	1
A semantic model for interacting cyber-physical systems	1
Schreier split extensions of preordered monoids	1
Session-based concurrency in Maude: Executable semantics and type checking	1
Editorial Board	1
Expressing discrete spatial relations under granularity	1
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models	1
Lifted structural invariant analysis of Petri net product lines	1
Transforming concurrent programs with semaphores into logically constrained term rewrite systems	1
Event structure semantics for multiparty sessions	1
A type language for distributed reactive components governed by communication protocols	0
Fair termination of multiparty sessions	0
Verification of the ROS NavFn planner using executable specification languages	0
On checking equivalence of simulation scripts	0
Editorial Board	0
The power of Tarski's relation algebra on trees	0
Determinism of multirelations	0
A fixed-points based framework for compliance of behavioural contracts	0
Secure information flow connections	0
Program equivalence in an untyped, call-by-value functional language with uncurried functions	0
Efficient analysis of belief properties in process algebra	0
A probabilistic approximate logic for neuro-symbolic learning and reasoning	0
Comparing type systems for deadlock freedom	0
Formal verification of timed synchronous dataflow graphs using Lustre	0
Local confluence of conditional and generalized term rewriting systems	0
Tuning similarity-based fuzzy logic programs	0
Unification of drags and confluence of drag rewriting	0
Location automata for synchronised shuffle expressions	0
Editorial Board	0
Editorial Board	0
Editorial Board	0
Gaining trust by tracing security protocols	0
Operationally-based program equivalence proofs using LCTRSs	0
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020	0
Axiomatizing recursion-free, regular monitors	0
A memory-related vulnerability detection approach based on vulnerability model with Petri Net	0
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking	0
Monadic second-order incorrectness logic for GP 2	0
A computational framework based on the dynamic pipeline approach	0
A formal semantics for agent distribution and fault tolerance in Jason	0
A lightweight approach to smart contracts supporting safety, security, and privacy	0
Editorial Board	0
Proving and disproving confluence of context-sensitive rewriting	0
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting	0
Editorial Board	0
A denotational semantics of Simulink with higher-order UTP	0
Simpler proofs with decentralized invariants	0
A dynamic logic with branching modalities	0
Reversible computation in nets with bonds	0
Formalizing Moessner's theorem and generalizations in Nuprl	0
Editorial Board	0
Session-typed concurrent contracts	0
A formal treatment of the role of verified compilers in secure computation	0
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	0
Bridging formal methods and machine learning with model checking and global optimisation	0
Stone dualities from opfibrations	0
Formal analysis of the application programming interface of the PVS verification system	0
From symbolic constraint automata to Promela	0
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions	0
Efficient iterative programs with distributed data collections	0
Expressive power and succinctness of the positive calculus of binary relations	0
Book review	0
Formalization and analysis of the post-quantum signature scheme FALCON with Maude	0

Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets	0
A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems	0
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL	0
Multiparty half-duplex systems and synchronous communications	0
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes	0
A formal model for blockchain-based consent management in data sharing	0
Time distance-based computation of the DBM over-approximation of preemptive real-time systems	0
Back to the format: A survey on SOS for probabilistic processes	0
An axiomatic approach to differentiation of polynomial circuits	0
Variants and satisfiability in the infinitary unification wonderland	0
A tribute to José Manuel Valença	0
A structural approach to graph transformation based on symmetric Petri nets	0
The expression dependence graph	0
Evaluation diversity for graph conditions	0
Belief base change as priority change: A study based on dynamic epistemic logic	0
Safety enforcement via programmable strategies in Maude	0
A framework for formal verification of robot kinematics	0
Monitorable hyperproperties of nonterminating systems	0
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives	0
Automated verification of reactive and concurrent programs by calculation	0
Formal models for consent-based privacy	0
Editorial Board	0
Automated construction of security integrity wrappers for Industry 4.0 applications	0
Plotkin's call-by-value λ-calculus as a modal calculus	0
Transforming orthogonal inductive definition sets into confluent term rewrite systems	0
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude	0
Matching logic explained	0
Resource separation in dynamic logic of propositional assignments	0
Processes against tests: On defining contextual equivalences	0
A model of systems with modes and mode transitions	0
Graded epistemic logic with public announcement	0
Computational category-theoretic rewriting	0
Stit semantics for epistemic notions based on information disclosure in interactive settings	0
Logic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday	0
The origins of the halting problem	0
On algebraic array theories	0
Applications and extensions of context-sensitive rewriting	0
Certifying Findel derivatives for blockchain	0
The correctness of concurrencies in (reversible) concurrent calculi	0
First order Büchi automata and their application to verification of LTL specifications	0
Semantics of quantum programming languages: Classical control, quantum control	0
Comparing session type systems derived from linear logic	0
Executable contracts for Elixir	0
Relation-changing models meet paraconsistency	0
Towards an efficient implementation of a tableau method for reactive safety specifications	0
Compositional equivalences based on open pNets	0
Verification of data-aware process models: Checking soundness of data Petri nets	0
Composition of synchronous communicating systems	0
A logical account of subtyping for session types	0
Liquidity analysis in resource-aware programming	0
Succinct ordering and aggregation constraints in algebraic array theories	0
Partial arithmetical data types of rational numbers and their equational specification	0
On primitives for compensation handling as adaptable processes	0
Components and acyclicity of graphs. An exercise in combining precision with concision	0
On the expressiveness and efficiency of guarded lists in Bach	0
Editorial Board	0
Formal definitions and proofs for partial (co)recursive functions	0
Quantum encoding of dynamic directed graphs	0
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency	0
Regular planar monoidal languages	0
Observational interpretations of hybrid dynamic logic with binders and silent transitions	0
Determinization of inverted grammar programs via context-free expressions	0
Towards the exact complexity of realizability for Safety LTL	0
A message-passing interpretation of adjoint logic	0
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications	0
bGSL: An imperative language for specification and refinement of backtracking programs	0
An abstract framework for choreographic testing	0
Tribute to Anna Labella	0
Editorial Board	0
Branching pomsets: Design, expressiveness and applications to choreographies	0
Coalgebraic tools for randomness-conserving protocols	0