1975 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1975 2019

Filter
Chapter
2015

Symbolic protocol analysis with disequality constraints modulo equational theories

Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Jan 1 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 238-261 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9465).

Research output: Chapter in Book/Report/Conference proceedingChapter

Equational Theory
Algebra
Modulo
Cryptographic Protocols
Formal Analysis
2005

Functorial semantics of rewrite theories

Meseguer, J., 2005, Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Vol. 3393 LNCS. p. 220-235 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3393 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Semantics
Morphisms
Maude
Equational Theory
Concurrent Systems