Author of the publication

Verification of CRWL Programs with Rewriting Logic.

, and . J. Univers. Comput. Sci., 12 (11): 1594-1617 (2006)

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.

 

Other publications of authors with the same name

Specifying and Analyzing the Kademlia Protocol in Maude., and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 524-541. Springer, (2015)A Tool for Testing Data Type Implementations from Maude Algebraic Specifications., and . Electron. Notes Theor. Comput. Sci., (2012)Towards a Verification Logic for Rewriting Logic., , , , and . WADT, volume 1827 of Lecture Notes in Computer Science, page 438-458. Springer, (1999)A Maude specification of an object-oriented model for telecommunication networks., and . Theor. Comput. Sci., 285 (2): 407-439 (2002)Proving VLRL Action Properties with the Maude Model Checker., and . WRLA, volume 117 of Electronic Notes in Theoretical Computer Science, page 113-133. Elsevier, (2004)Model Checking Strategy-Controlled Rewriting Systems (System Description)., , , and . FSCD, volume 131 of LIPIcs, page 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Proving Modal Properties of Rewrite Theories Using Maude's Metalevel., and . Electron. Notes Theor. Comput. Sci., 137 (1): 133-150 (2005)Conditional Narrowing Modulo in Rewriting Logic and Maude., , , and . WRLA, volume 8663 of Lecture Notes in Computer Science, page 80-96. Springer, (2014)Using Reflection to Specify Transaction Sequences in Rewriting Logic., and . APPIA-GULP-PRODE, page 369-380. (1997)A Verification Logic for Rewriting Logic., , , , and . J. Log. Comput., 15 (3): 317-352 (2005)