( en | de | ru )

 

Disambiguation of "Meseguer, José"

Author of the publication

copydeleteadd this publication to your clipboard
Specification and Formal Analysis of a PLAN Algorithm in Maude.

, , and . ICDCS Workshop on Distributed System Validation and Verification, page E49-E56. (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Sánchez Meseguer

Humberto Jorge José

Nadine José Gonzalez

José Navarrete

José Putharikal

 

Other publications of authors with the same name

A Logical Semantics for Object-Oriented Databases., and . SIGMOD Conference, page 89-98. ACM Press, (1993)A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA., , , and . STM, volume 8743 of Lecture Notes in Computer Science, page 162-177. Springer, (2014)Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic., , and . Specification of Parallel Algorithms, volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 309-339. DIMACS/AMS, (1994)Analysis of the IBM CCA Security API Protocols in Maude-NPA., , , , and . SSR, volume 8893 of Lecture Notes in Computer Science, page 111-130. Springer, (2014)Protocol Dialects as Formal Patterns., , , , and . ESORICS (2), volume 14345 of Lecture Notes in Computer Science, page 42-61. Springer, (2023)Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification., and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 114-135. Springer, (2020)Model Checking LTLR Formulas under Localized Fairness., and . WRLA, volume 7571 of Lecture Notes in Computer Science, page 99-117. Springer, (2012)Order-Sorted Equality Enrichments Modulo Axioms., , and . WRLA, volume 7571 of Lecture Notes in Computer Science, page 162-181. Springer, (2012)Variant Satisfiability of Parameterized Strings.. WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 96-113. Springer, (2020)PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool., and . CALCO, volume 6859 of Lecture Notes in Computer Science, page 386-392. Springer, (2011)