( en | de | ru )

 

Disambiguierung von "Meseguer, José"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper.

, , und . CCGRID, Seite 636-641. IEEE Computer Society, (2013)

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.

José Sánchez Meseguer

Humberto Jorge José

Nadine José Gonzalez

José Navarrete

José Schneider

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Axiomatization of "If-Then-Else"., und . SIAM J. Comput., 16 (2): 332-357 (1987)Proving operational termination of membership equational programs., , , , und . High. Order Symb. Comput., 21 (1-2): 59-88 (2008)Ground confluence of order-sorted conditional specifications modulo axioms., , und . J. Log. Algebraic Methods Program., (2020)Taming distributed system complexity through formal patterns.. Sci. Comput. Program., (2014)User Interfaces and Metalanguage Applications., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Functional Modules., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)LTL Model Checking., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)A Hierarchy of Data Types: From Trees to Sets., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Unwinding and Inference Control., und . S&P, Seite 75-87. IEEE Computer Society, (1984)Security Policies and Security Models., und . S&P, Seite 11-20. IEEE Computer Society, (1982)