- Wolfram Kahl, Timothy G. Griffin, Peter Höfner:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 84(3): 283-284 (2015) - Kim G. Larsen, Radu Mardare, Bingtian Xue:
Concurrent weighted logic. J. Log. Algebraic Methods Program. 84(6): 884-897 (2015) - Bernhard Möller, Patrick Roocks:
An algebra of database preferences. J. Log. Algebraic Methods Program. 84(3): 456-481 (2015) - Nelma Moreira, David Pereira, Simão Melo de Sousa:
Deciding Kleene algebra terms equivalence in Coq. J. Log. Algebraic Methods Program. 84(3): 377-401 (2015) - Hanne Riis Nielson, Flemming Nielson, Roberto Vigo:
A calculus of quality for robustness against unreliable communication. J. Log. Algebraic Methods Program. 84(5): 611-639 (2015) - Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Jules Villard, Akbar Hussain:
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra. J. Log. Algebraic Methods Program. 84(3): 285-302 (2015) - Anh-Dung Phan, Michael R. Hansen:
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic. J. Log. Algebraic Methods Program. 84(1): 2-18 (2015) - Iain Phillips, Irek Ulidowski:
Reversibility and asymmetric conflict in event structures. J. Log. Algebraic Methods Program. 84(6): 781-805 (2015) - Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson:
Verification and code generation for invariant diagrams in Isabelle. J. Log. Algebraic Methods Program. 84(1): 19-36 (2015) - Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi:
Lightweight formalization and validation of ORM models. J. Log. Algebraic Methods Program. 84(4): 534-549 (2015) - António Ravara, Josep Silva:
Editorial for the JLAMP Special Issue on automated specification and verification of web systems. J. Log. Algebraic Methods Program. 84(4): 483-484 (2015) - Behnam Sattarzadeh, Mehran S. Fallah:
Automated type-based analysis of injective agreement in the presence of compromised principals. J. Log. Algebraic Methods Program. 84(5): 576-610 (2015) - Cristina Cerschi Seceleanu, Paul Pettersson:
Foreword. J. Log. Algebraic Methods Program. 84(1): 1 (2015) - John G. Stell:
Symmetric Heyting relation algebras with applications to hypergraphs. J. Log. Algebraic Methods Program. 84(3): 440-455 (2015) - Francesco Tiezzi, Nobuko Yoshida:
Reversible session-based pi-calculus. J. Log. Algebraic Methods Program. 84(5): 684-707 (2015) - Max Tschaikowski, Mirco Tribastone:
A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. 84(2): 238-258 (2015) - Sándor Vágvölgyi:
Symbol different term rewrite systems. J. Log. Algebraic Methods Program. 84(5): 551-575 (2015) - Bo Xie, Ming Quan Fu, Jeffery I. Zucker:
Characterizations of semicomputable sets of real numbers. J. Log. Algebraic Methods Program. 84(1): 124-154 (2015) - Dongsheng Zhao, Weng Kin Ho:
On topologies defined by irreducible sets. J. Log. Algebraic Methods Program. 84(1): 185-195 (2015)