( en | de | ru )

 

Disambiguierung von "Pita, Isabel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Specification of the Kademlia and the Kad Routing Tables in Maude.

, und . WADT, Volume 7841 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pita Kavungu

Pita Kavungu

Jurij-Alexander Pitako

Pita Kavungu

Glykeria Pita

 

Weitere Publikationen von Autoren mit dem selben Namen

A Maude specification of an object-oriented model for telecommunication networks., und . Theor. Comput. Sci., 285 (2): 407-439 (2002)Conditional Narrowing Modulo in Rewriting Logic and Maude., , , und . WRLA, Volume 8663 von Lecture Notes in Computer Science, Seite 80-96. Springer, (2014)Towards a Verification Logic for Rewriting Logic., , , , und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 438-458. Springer, (1999)Model Checking Strategy-Controlled Rewriting Systems (System Description)., , , und . FSCD, Volume 131 von LIPIcs, Seite 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Specifying Fairness Constraints and Model Checking with Non-intensional Strategies., , , und . WRLA, Volume 14953 von Lecture Notes in Computer Science, Seite 145-162. Springer, (2024)Formal Specification of the Kademlia and the Kad Routing Tables in Maude., und . WADT, Volume 7841 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2012)Using Reflection to Specify Transaction Sequences in Rewriting Logic., und . WADT, Volume 1589 von Lecture Notes in Computer Science, Seite 261-276. Springer, (1998)Proving modal and temporal properties of rewriting logic programs., und . APPIA-GULP-PRODE, Seite 277-295. Departamento de Informática, Universidade de Évora, (2001)Using Reflection to Specify Transaction Sequences in Rewriting Logic., und . APPIA-GULP-PRODE, Seite 369-380. (1997)Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude., , , und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 48-71. Springer, (2015)