Carlos Gregorio-Rodríguez

A toolbox for the verification of LOTOS programs

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier et al. · 1992 · 82 citations

Computing, Computer Engineering, Computer Science +9

VESAR: a pragmatic approach to formal specification and verification

B. Algayres, V. Coelho, Laurent Doldi et al. · Computer Networks and ISDN Systems · 1993 · 28 citations

Computing, Computer Science, Computer Systems +10

Denotational Semantics for Probabilistic Refusal Testing

Carlos Gregorio-Rodríguez, Manuel Núñez · Electronic Notes in Theoretical Computer Science · 1999 · 19 citations · Full text

Computing, Computer Science, Formal Methods +12

Ready to preorder: an algebraic and general proof

David de Frutos Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino · The Journal of Logic and Algebraic Programming · 2008 · 17 citations

Computing, Computer Science, Mathematics +9

On the Unification of Process Semantics: Equational Semantics

David de Frutos Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino · Electronic Notes in Theoretical Computer Science · 2009 · 15 citations · Full text

Computing, Computer Science, Mathematics +17