( en | de | ru )

 

Disambiguation of "Benevides, Mario R. F."

Author of the publication

copydeleteadd this publication to your clipboard
Temporal logic for social networks.

, and . J. Log. Comput., 32 (6): 1088-1108 (2022)

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.

F -R Müller

F R Schilling

R F Weiss

F -R Müller

Maximilian F R Hoffmann

 

Other publications of authors with the same name

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