Journal of Logical and Algebraic Methods in Programming
Collection
Collection
- ISSN: 2352-2208
Published by Elsevier B.V.
-
Structural congruence for bialgebraic semantics Article
Journal of Logical and Algebraic Methods in ProgrammingOctober 2016 -
Combine and conquer: Relating BIP and Reo Article
Journal of Logical and Algebraic Methods in Programming, 86(1), 134-156.K.P.C. Dokter (Kasper), S.-S.T.Q. Jongmans (Sung), F. Arbab (Farhad) and S. Bliudze (Simon)
January 2017 -
Executable component-based semantics Article
Journal of Logical and Algebraic Methods in Programming, 184-212.L.T. van Binsbergen (Thomas), P.D. Mosses (Peter) and N. Sculthorpe (Neil)
February 2019 -
Soft constraint automata with memory Article
Journal of Logical and Algebraic Methods in ProgrammingK.P.C. Dokter (Kasper), F. Gadducci (Fabio), B. Lion (Benjamin) and F. Santini (Francesco)
January 2021 -
On primitives for compensation handling as adaptable processes Article
Journal of Logical and Algebraic Methods in ProgrammingJ. Dedeić (Jovana), J. Pantović (Jovanka) and J.A. Pérez Parra (Jorge)
June 2021 -
From symbolic constraint automata to Promela Article
Journal of Logical and Algebraic Methods in Programming, 100794:1-100794:19.H. Feng (Hui), M.M. Bonsangue (Marcello) and B. Lion (Benjamin)
August 2022 -
A formal framework for distributed cyber-physical systems Article
Journal of Logical and Algebraic Methods in Programming, 100795:1-100795:14.B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)
August 2022 -
A semantic model for interacting cyber-physical systems Article
Journal of Logical and Algebraic Methods in Programming, 100807:1-100807:25.B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)
November 2022