Building reliable web services compositions PF Pires, MRF Benevides, M Mattoso Net. ObjectDays: International Conference on Object-Oriented and Internet …, 2002 | 153 | 2002 |
Sharing resources at nonuniform access rates VC Barbosa, MRF Benevides, FMG França Theory of Computing Systems 34 (1), 13-26, 2000 | 43 | 2000 |
WEBTRANSACT: A Framework for Specifying and coordinating reliable web services compositions PF Pires, M Benevides, M Mattoso | 37 | 2002 |
A constructive presentation for the modal connective of necessity (□) MRF Benevides, TSE Maibaum Journal of Logic and Computation 2 (1), 31-50, 1992 | 24 | 1992 |
Verification of epistemic properties in probabilistic multi-agent systems C Delgado, M Benevides German Conference on Multiagent System Technologies, 16-28, 2009 | 23 | 2009 |
Propositional dynamic logic with storing, recovering and parallel composition MRF Benevides, R de Freitas, P Viana Electronic Notes in Theoretical Computer Science 269, 95-107, 2011 | 22 | 2011 |
A graph-theoretic characterization of AND-OR deadlocks VC Barbosa, MRF Benevides UFRJ Technical Report COPPE-ES-472/98, Rio de Janeiro, Brazil, 1998 | 20 | 1998 |
A propositional dynamic logic for CCS programs MRF Benevides, LM Schechter International Workshop on Logic, Language, Information, and Computation, 83-97, 2008 | 18 | 2008 |
Mediating heterogeneous web services PF Pires, MRF Benevides, M Mattoso 2003 Symposium on Applications and the Internet, 2003. Proceedings., 344-347, 2003 | 17 | 2003 |
Using modal logics to express and check global graph properties MRF Benevides, LM Schechter Logic Journal of the IGPL 17 (5), 559-587, 2009 | 15 | 2009 |
Propositional dynamic logic for Petri nets B Lopes, M Benevides, EH Haeusler Logic Journal of the IGPL 22 (5), 721-736, 2014 | 14 | 2014 |
Extending propositional dynamic logic for Petri nets B Lopes, M Benevides, EH Haeusler Electronic Notes in Theoretical Computer Science 305, 67-83, 2014 | 14 | 2014 |
Reasoning about multi-agent systems using stochastic Petri Nets B Lopes, M Benevides, EH Haeusler Trends in Practical Applications of Agents, Multi-Agent Systems and …, 2015 | 12 | 2015 |
Belief revision in pseudo-definite sets O Rodrigues, MRF Benevides Proceedings of the 11th Brazilian symposium on artificial intelligence (SBIA'94), 1994 | 11 | 1994 |
A propositional dynamic logic for concurrent programs based on the π-calculus MRF Benevides, LM Schechter Electronic Notes in Theoretical Computer Science 262, 49-64, 2010 | 10 | 2010 |
A priority dynamics for generalized drinking philosophers VC Barbosa, MRF Benevides, AL Oliveira Filho Information processing letters 79 (4), 189-195, 2001 | 10 | 2001 |
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator MRF Benevides, LM Schechter Journal of Logic and Computation 24 (4), 919-951, 2014 | 9 | 2014 |
A family of graded epistemic logics MRF Benevides, A Madeira, MA Martins Electronic Notes in Theoretical Computer Science 338, 45-59, 2018 | 8 | 2018 |
PDL for structured data: a graph-calculus approach PAS Veloso, SRM Veloso, MRF Benevides Logic Journal of the IGPL 22 (5), 737-757, 2014 | 8 | 2014 |
Modal logics for finite graphs MRF Benevides Logic for concurrency and synchronisation, 239-267, 2003 | 8 | 2003 |