Author M. A. Reniers
From CERES
A list of all pages that have property "Author" with value "M. A. Reniers"
- Publications:A Congruence Rule Format with Universal Quantification +
- Publications:A syntactic commutativity format for SOS +
- Publications:Algebraic properties for free! +
- Publications:Notions of bisimulation and congruence formats for SOS with data +
- Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference +
- Publications:Prototyping SOS meta-theory in Maude +
- Publications:Restricted delegation and revocation in language-based security : (Position paper) +
- Publications:Robustness of equations under operational extensions +
- Publications:SOS formats and meta-theory : 20 years after +
