A study on multi-dimensional products of graphs and hybrid logics von Benevides, Mario R.F., Schechter, L. Menasché

Volltext

DaLí - Dynamic Logic, new trends and applications von Benevides, Mario R.F., Madeira, Alexandre

Volltext

Squares in Fork Arrow Logic von de Freitas, Renata P., Viana, Jorge P., Benevides, Mario R. F., Veloso, Sheila R. M., Veloso, Paulo A. S.

Volltext

On a graph calculus for modalities von Veloso, Paulo A.S., Veloso, Sheila R.M., Benevides, Mario R.F.

Volltext

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator von Benevides, M. R. F., Schechter, L. M.

Volltext

A study on multi-dimensional products of graphs and hybrid logics: Logical and Semantic Frameworks with Applications (LSFA 2008 and 2009) von BENEVIDES, Mario R. F, MENASCHE SCHECHTER, L

Volltext

Building reliable Web services compositions von PIRES, Paulo F, BENEVIDES, Mario R. F, MATTOSO, Marta

Volltext

PDL for structured data: a graph-calculus approach von Veloso, P. A. S., Veloso, S. R. M., Benevides, M. R. F.

Volltext

Defining Agents Via Strategies: Towards a View of MAS as Games von Vasconcelos, D. R., Haeusler, E. H., Benevides, Mario R. F.

Volltext

A priority dynamics for generalized drinking philosophers von Barbosa, Valmir C., Benevides, Mario R.F., Oliveira Filho, Ayru L.

Volltext

Epistemic Logics with Structured Knowledge von Madeira, Alexandre, Martins, Manuel A., Benevides, Mario R.F.

Volltext

Using modal logics to express and check global graph properties von Benevides, Mario R. F., Schechter, L. Menasché

Volltext

Propositional Dynamic Logic for Petri Nets with Iteration von Benevides, Mario R. F., Lopes, Bruno, Haeusler, Edward Hermann

Volltext

A Family of Graded Epistemic Logics von Benevides, Mario R.F., Madeira, Alexandre, Martins, Manuel A.

Volltext

On Diagrams and General Model Checkers von Veloso, Sheila R. M., Veloso, Paulo A. S., Benevides, Mario R. F., Lima, Isaque M. S.

Volltext

Bisimilar and Logically Equivalent Programs in PDL von Benevides, Mario R.F.

Volltext

On Graph Calculi for Multi-modal Logics von Veloso, Paulo A.S., Veloso, Sheila R.M., Benevides, Mario R.F.

Volltext

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition von Benevides, Mario R.F., de Freitas, Renata, Viana, Petrucio

Volltext

A Propositional Dynamic Logic for CCS Programs von Benevides, Mario R. F., Schechter, L. Menasché

Volltext

Hybrid Logics and NP Graph Properties von Ferreira, Francicleber Martins, Freire, Cibele Matos, Benevides, Mario R. F., Schechter, L. Menasché, Martins, Ana Teresa

Volltext