Journal of Logical and Algebraic Methods in Programming

Article	Citations
From distributed coordination to field calculus and aggregate computing	36
Programming and symbolic computation in Maude	25
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings	15
Generalized rewrite theories, coherence completion, and symbolic methods	14
Realisability of pomsets	10
Multilevel coupled model transformations for precise and reusable definition of model behaviour	10
Composition and decomposition of multiparty sessions	9
Connecting open systems of communicating finite state machines	8
Matching logic explained	8
Determinizing monitors for HML with recursion	7
Constructing optimized constraint-preserving application conditions for model transformation rules	6
A partial evaluation framework for order-sorted equational programs modulo axioms	5
Strategies, model checking and branching-time properties in Maude	5
Ground confluence of order-sorted conditional specifications modulo axioms	5
A logical study of group-size based social network creation	5
Interval-valued fuzzy reasoning method based on similarity measure	5
Replicated data types that unify eventual consistency and observable atomic consistency	4
Hybrid search plan generation for generalized graph pattern matching	4
Computer says no: Verdict explainability for runtime monitors using a local proof system	4
Ensuring liveness properties of distributed systems: Open problems	4
On the modeling of optimal and automatized cloud application deployment	4
Modal transition system encoding of featured transition systems	4
Event structure semantics of (controlled) reversible CCS	4
A verified proof checker for higher-order logic	4
A message-passing interpretation of adjoint logic	4

Simpler proofs with decentralized invariants	4
Specifying with syntactic theory functors	4
Introspection as an action in relational models	4
A navigational logic for reasoning about graph properties	4
The origins of the halting problem	3
A linear-time–branching-time spectrum for behavioral specification theories	3
Twenty years of coordination technologies: COORDINATION contribution to the state of art	3
Simulating and model checking membrane systems using strategies in Maude	3
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations	3
Applications and extensions of context-sensitive rewriting	3
Certifying Findel derivatives for blockchain	3
A denotational semantics of textually aligned SPMD programs	3
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks	3
On the essence and initiality of conflicts in M-adhesive transformation syste	3
Metalevel transformation of strategies	3
Process calculi as a tool for studying coordination, contracts and session types	3
Model checking for hybrid branching-time logics	3
A dynamic logic for learning theory	3
A core Erlang semantics for declarative debugging	3
Synthesis of sorting algorithms using multisets in Theorema	3
Algebraic solution of minimax single-facility constrained location problems with Chebyshev and rectilinear distances	3
Latent semantic analysis of game models using LSTM	3
Static checking of GDPR-related privacy compliance for object-oriented distributed systems	3
A lightweight approach to smart contracts supporting safety, security, and privacy	3
Reversible computation in nets with bonds	3
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes	2
Monadic second-order incorrectness logic for GP 2	2
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude	2
Knowledge representation and update in hierarchies of graphs	2
Dynamic structural operational semantics	2
Calculational relation-algebraic proofs in the teaching tool	2
A collaborative access control framework for online social networks	2
Formalization of functional variation in HOL Light	2
Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs	2
Actor-based model checking for Software-Defined Networks	2
A modular framework for verifying versatile distributed systems	2
A tableau construction for finite linear-time temporal logic	2
A uniform approach to completions of posets	2
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking	2
An abstract framework for choreographic testing	2
Logics for Actor Networks: A two-stage constrained-hybridisation approach	2
Graph transformation through graph surfing in reaction systems	2
Probabilistic software product lines	2
Free Kleene algebras with domain	2
Optimization of rewrite theories by equational partial evaluation	1
Soft constraint automata with memory	1
Checking deadlock-freedom of parametric component-based systems	1
Combining free choice and time in Petri nets	1
Associative unification in Maude	1
Expressive power and succinctness of the positive calculus of binary relations	1

A denotational semantics of Simulink with higher-order UTP	1
A probabilistic approximate logic for neuro-symbolic learning and reasoning	1
Relational and algebraic methods in computer science	1
Conflict vs causality in event structures	1
Secure information flow connections	1
A semantic model for interacting cyber-physical systems	1
Processes against tests: On defining contextual equivalences	1
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic	1
A formal model for blockchain-based consent management in data sharing	1
Verification of dynamic bisimulation theorems in Coq	1
CoReS: A tool for computing core graphs via SAT/SMT solvers	1
From global choreographies to verifiable efficient distributed implementations	1
Introducing complexity to formal testing	1
The complexity of identifying characteristic formulae	1
Input urgent semantics for asynchronous timed session types	1
Hypergraph Lambek grammars	1
Multiparty half-duplex systems and synchronous communications	1
Relational characterisations of paths	1
On checking equivalence of simulation scripts	1
Towards refinable choreographies	1
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications	1
A formal approach to the engineering of domain-specific distributed systems	1
Belief base change as priority change: A study based on dynamic epistemic logic	1
Consistency in Parametric Interval Probabilistic Timed Automata	1
On the group memory complexity of extended finite automata over groups	1
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems	1
Components and acyclicity of graphs. An exercise in combining precision with concision	1
A Perron–Frobenius theorem for deciding matrix growth	1
Session-typed concurrent contracts	1
Program slicing of Java programs	1
Guest editors' foreword	1
A calculus for modeling floating authorizations	1
Comparing type systems for deadlock freedom	1
A fixed-points based framework for compliance of behavioural contracts	1
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis	1
Abstracting models of strong normalization for classical calculi	1
Partial predicate abstraction and counter-example guided refinement	1
A coordination protocol language for power grid operation control	1
Monk algebras and Ramsey theory	1
Proving and disproving confluence of context-sensitive rewriting	1
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems	1
Automated construction of security integrity wrappers for Industry 4.0 applications	1
Program algebra for quantitative information flow	1
Axiomatization and characterization of BSP algorithms	1
Event structures for the reversible early internal π-calculus	1
Safety enforcement via programmable strategies in Maude	1
Editorial Board	0
Composition of multilevel domain-specific modelling languages	0
Editorial Board	0
Graded epistemic logic with public announcement	0
Book review	0
Fundamentals of Compositional Rewriting Theory	0
Editorial Board	0
Editorial Board	0
Decomposing monolithic processes in a process algebra with multi-actions	0
Relation algebras of Sugihara, Belnap, Meyer, and Church	0
A calculus of concurrent graph-rewriting processes	0
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL	0
Axiomatization and computability of a variant of iteration-free PDL with fork	0
DaLí - Dynamic Logic, new trends and applications	0
Formal verification of timed synchronous dataflow graphs using Lustre	0
Editorial Board	0
Editorial Board	0
A memory-related vulnerability detection approach based on vulnerability model with Petri Net	0
Editorial Board	0
Observational interpretations of hybrid dynamic logic with binders and silent transitions	0
Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks	0
Editorial Board	0
Evaluation diversity for graph conditions	0
Axiomatizing recursion-free, regular monitors	0
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis	0
Variants and satisfiability in the infinitary unification wonderland	0
Semantics of multiway dataflow constraint systems	0
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020	0
On the expressiveness of multiplicities in data-based coordination languages	0
Expressing discrete spatial relations under granularity	0
Compositional equivalences based on open pNets	0
Reasoning about distributed information with infinitely many agents	0
Editorial Board	0
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models	0

Spreading nets: A uniform approach to unfoldings	0
Probabilistic mediator: A coalgebraic perspective	0
Monitorable hyperproperties of nonterminating systems	0
Editorial Board	0
Verification of the ROS NavFn planner using executable specification languages	0
A process calculus for privacy-preserving protocols in location-based service systems	0
Editorial Board	0
Editorial Board	0
Editorial Board	0
A formal framework for security testing of automotive over-the-air update systems	0
A formal treatment of the role of verified compilers in secure computation	0
Tribute to Anna Labella	0
Editorial Board	0
Exception-sensitive program slicing	0
Coalgebraic tools for randomness-conserving protocols	0
Editorial Board	0
Editorial Board	0
Editorial Board	0
The power of Tarski's relation algebra on trees	0
Specification of systems with parameterised events: An institution-independent approach	0
Editorial Board	0
Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16)	0
A structural approach to graph transformation based on symmetric Petri nets	0
The C-calculus: A model for confidential name passing	0
Editorial Board	0
Determinization of inverted grammar programs via context-free expressions	0
Editorial Board	0
Program equivalence in an untyped, call-by-value functional language with uncurried functions	0
Editorial Board	0
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software	0
On primitives for compensation handling as adaptable processes	0
Editorial Board	0
Specifying reversibility with TLA+	0
Relation-changing models meet paraconsistency	0
Editorial Board	0
Many-sorted hybrid modal languages	0
A tribute to José Manuel Valença	0
Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018	0
Preface to the special issue on the 11th International Conference on Graph Transformation	0
Explaining safety failures in NetKAT	0
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions	0
Schreier split extensions of preordered monoids	0
bGSL: An imperative language for specification and refinement of backtracking programs	0
Editorial Board	0
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3	0
Formal lumping of polynomial differential equations through approximate equivalences	0
Verification of mutable linear data structures and iterator-based algorithms in Dafny	0
Semantics of quantum programming languages: Classical control, quantum control	0
A model of systems with modes and mode transitions	0
Preface to the special issue on Open Problems in Concurrency Theory	0
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points	0
Partial arithmetical data types of rational numbers and their equational specification	0
Editorial Board	0
Guest Editor's foreword	0
Formalizing CCS and π-calculus in Guarded Cubical Agda	0
Transforming orthogonal inductive definition sets into confluent term rewrite systems	0
A formal semantics for agent distribution and fault tolerance in Jason	0
Preface for the special issue on Interaction and Concurrency Experience 2017	0
(Co)inductive proof systems for compositional proofs in reachability logic	0
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets	0
Session-based concurrency in Maude: Executable semantics and type checking	0
Editorial Board	0
Runtime verification for dynamic architectures	0
Automated verification of reactive and concurrent programs by calculation	0
Lifted structural invariant analysis of Petri net product lines	0
Preface to the special issue on the 12th International Conference on Graph Transformation	0
Gaining trust by tracing security protocols	0
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels	0
Editorial Board	0
Plotkin's call-by-value λ-calculus as a modal calculus	0
Logical characterisations, rule formats and compositionality for input-output conformance simulation	0
Semantics of temporal constrained objects	0
Editorial Board	0
Location automata for synchronised shuffle expressions	0
Resource separation in dynamic logic of propositional assignments	0
On difunctions	0
Computational category-theoretic rewriting	0
Replacement freeness: A criterion for separating process calculi	0
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	0
Editorial Board	0
Stone dualities from opfibrations	0
Unification of drags and confluence of drag rewriting	0
Hardware Trojan detection via rewriting logic	0
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)	0
Operational semantics with semicommutations	0
Formalizing Moessner's theorem and generalizations in Nuprl	0
Event-Based Time-Stamped Claim Logic	0
Formal models for consent-based privacy	0
From symbolic constraint automata to Promela	0
Formalization of the inverse kinematics of three-fingered dexterous hand	0
The Maude strategy language	0
Capturing constrained constructor patterns in matching logic	0
Formal analysis of the application programming interface of the PVS verification system	0
A type language for distributed reactive components governed by communication protocols	0
Event structure semantics for multiparty sessions	0
A formal framework for distributed cyber-physical systems	0
Stit semantics for epistemic notions based on information disclosure in interactive settings	0