( en | de | ru )

 

Disambiguierung von "Benevides, Mario R. F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sharing Resources at Nonuniform Access Rates.

, , und . Theory Comput. Syst., 34 (1): 13-26 (2001)

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.

F R Schilling

F -R Müller

R F Weiss

F -R Müller

Maximilian F R Hoffmann

 

Weitere Publikationen von Autoren mit dem selben Namen

CCS-Based Dynamic Logics for Communicating Concurrent Programs, und . CoRR, (2009)Sharing Resources at Nonuniform Access Rates., , und . Theory Comput. Syst., 34 (1): 13-26 (2001)Mechanisms for Specifying Communication Behavior in Object Oriented Database., , und . SAC (1), Seite 389-397. ACM, (2000)A Propositional Dynamic Logic for CCS Programs., und . WoLLIC, Volume 5110 von Lecture Notes in Computer Science, Seite 83-97. Springer, (2008)Squares in Fork Arrow Logic., , , , und . J. Philosophical Logic, 32 (4): 343-355 (2003)On Graph Calculi for Multi-modal Logics., , und . LSFA, Volume 312 von Electronic Notes in Theoretical Computer Science, Seite 231-252. Elsevier, (2014)Extending Propositional Dynamic Logic for Petri Nets., , und . LSFA, Volume 305 von Electronic Notes in Theoretical Computer Science, Seite 67-83. Elsevier, (2013)Mediating Heterogeneous Web Services., , und . SAINT, Seite 344-347. IEEE Computer Society, (2003)On Modalities for Vague Notions., , , , und . SBIA, Volume 3171 von Lecture Notes in Computer Science, Seite 1-10. Springer, (2004)Verification of Epistemic Properties in Probabilistic Multi-Agent Systems., und . MATES, Volume 5774 von Lecture Notes in Computer Science, Seite 16-28. Springer, (2009)