Journal of Logical and Algebraic Methods in Programming

Title Publication Date Language Citations
Declarative debugging of concurrent Erlang programs2018/12/01English5
Interval-valued fuzzy reasoning method based on similarity measure2020/06/01English5
Specifying graph languages with type graphs2019/04/01English5
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach2019/02/01English5
Higher-order linearisability2019/04/01English5
Reduction of event structures under history preserving bisimulation2016/10/01English5
Kernels, in a nutshell2016/08/01English5
Thresholded semantic framework for a fully integrated fuzzy logic language2017/12/01English5
Metalevel algorithms for variant satisfiability2018/04/01English5
Behavioural semantics for asynchronous components2017/06/01English5
A sound and complete reasoning system for asynchronous communication with shared futures2014/09/01English5
Connecting open systems of communicating finite state machines2019/12/01English4
Introspection as an action in relational models2019/11/01English4
Replicated data types that unify eventual consistency and observable atomic consistency2020/08/01English4
An optimal resource sharing protocol for generalized multiframe tasks2015/01/01English4
Belief, knowledge, lies and other utterances in an algebra for space and extrusion2017/01/01English4
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous2017/04/01English4
Some undecidable properties of SOS specifications2017/02/01English4
Towards a categorical representation of reversible event structures2019/04/01English4
Implementing type systems for the IDE with Xsemantics2016/08/01English4
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering2016/01/01English4
Verifiable abstractions for contract-oriented systems2017/01/01English4
Latent semantic analysis of game models using LSTM2019/08/01English4
Operational semantics of a weak memory model with channel synchronization2019/02/01English4
Model checking and synthesis for branching multi-weighted logics2019/06/01English4
Composition and decomposition of multiparty sessions2021/02/01English4
Constructing optimized constraint-preserving application conditions for model transformation rules2020/08/01English4
A language-based approach to modelling and analysis of Twitter interactions2017/02/01English4
ST-structures2016/10/01English4
Concurrent Kleene algebra with tests and branching automata2016/06/01English4