Loading…
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
Costa, Diana, Martins, Manuel A.
Published in Journal of logical and algebraic methods in programming (01.06.2021)
Published in Journal of logical and algebraic methods in programming (01.06.2021)
Get full text
Journal Article
Loading…
Loading…
A process calculus for privacy-preserving protocols in location-based service systems
Bavendiek, Kai, Schupp, Sibylle
Published in Journal of logical and algebraic methods in programming (01.02.2022)
Published in Journal of logical and algebraic methods in programming (01.02.2022)
Get full text
Journal Article
Loading…
Coalgebraic tools for randomness-conserving protocols
Kozen, Dexter, Soloviev, Matvey
Published in Journal of logical and algebraic methods in programming (01.02.2022)
Published in Journal of logical and algebraic methods in programming (01.02.2022)
Get full text
Journal Article
Loading…
Editorial Board
Published in Journal of logical and algebraic methods in programming
(01.02.2024)
Get full text
Journal Article
Loading…
A verified proof checker for higher-order logic
Abrahamsson, Oskar
Published in Journal of logical and algebraic methods in programming (01.04.2020)
Published in Journal of logical and algebraic methods in programming (01.04.2020)
Get full text
Journal Article
Loading…
Replicated data types that unify eventual consistency and observable atomic consistency
Zhao, Xin, Haller, Philipp
Published in Journal of logical and algebraic methods in programming (01.08.2020)
Published in Journal of logical and algebraic methods in programming (01.08.2020)
Get full text
Journal Article
Loading…
On topologies defined by irreducible sets
Zhao, Dongsheng, Ho, Weng Kin
Published in Journal of logical and algebraic methods in programming (01.01.2015)
Published in Journal of logical and algebraic methods in programming (01.01.2015)
Get full text
Journal Article
Loading…
Checking deadlock-freedom of parametric component-based systems
Bozga, Marius, Iosif, Radu, Sifakis, Joseph
Published in Journal of logical and algebraic methods in programming (01.02.2021)
Published in Journal of logical and algebraic methods in programming (01.02.2021)
Get full text
Journal Article
Loading…
On checking equivalence of simulation scripts
Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico
Published in Journal of logical and algebraic methods in programming (01.04.2021)
Published in Journal of logical and algebraic methods in programming (01.04.2021)
Get full text
Journal Article
Loading…
Loading…
Editorial Board
Published in Journal of logical and algebraic methods in programming
(01.01.2024)
Get full text
Journal Article
Loading…
Formal verification of timed synchronous dataflow graphs using Lustre
Bennour, Imed Eddine
Published in Journal of logical and algebraic methods in programming (01.06.2021)
Published in Journal of logical and algebraic methods in programming (01.06.2021)
Get full text
Journal Article
Loading…
Belief base change as priority change: A study based on dynamic epistemic logic
Souza, Marlo, Moreira, Álvaro
Published in Journal of logical and algebraic methods in programming (01.08.2021)
Published in Journal of logical and algebraic methods in programming (01.08.2021)
Get full text
Journal Article
Loading…
Probabilistic timed graph transformation systems
Maximova, Maria, Giese, Holger, Krause, Christian
Published in Journal of logical and algebraic methods in programming (01.12.2018)
Published in Journal of logical and algebraic methods in programming (01.12.2018)
Get full text
Journal Article
Loading…
A collaborative access control framework for online social networks
Alshareef, Hanaa, Pardo, Raúl, Schneider, Gerardo, Picazo-Sanchez, Pablo
Published in Journal of logical and algebraic methods in programming (01.08.2020)
Published in Journal of logical and algebraic methods in programming (01.08.2020)
Get full text
Journal Article
Loading…
Algebraic modal correspondence: Sahlqvist and beyond
Conradie, Willem, Palmigiano, Alessandra, Sourabh, Sumit
Published in Journal of logical and algebraic methods in programming (01.10.2017)
Published in Journal of logical and algebraic methods in programming (01.10.2017)
Get full text
Journal Article
Loading…
Loading…
Executable component-based semantics
van Binsbergen, L. Thomas, Mosses, Peter D., Sculthorpe, Neil
Published in Journal of logical and algebraic methods in programming (01.02.2019)
Published in Journal of logical and algebraic methods in programming (01.02.2019)
Get full text
Journal Article
Loading…