Carlos Gregorio Rodríguez

Available identifiers

zbMath Open gregorio-rodriguez.carlosMaRDI QIDQ843210

List of research outcomes

Publication	Date of Publication	Type
Logical characterisations, rule formats and compositionality for input-output conformance simulation	2019-06-20	Paper
An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation	2018-10-01	Paper
Logical Characterisations and Compositionality of Input-Output Conformance Simulation	2017-04-04	Paper
On the unification of process semantics: equational semantics	2016-05-10	Paper
Axiomatizing weak simulation semantics over BCCSP	2014-06-10	Paper
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences	2014-05-13	Paper
Simulations up-to and canonical preorders (extended abstract)	2014-01-10	Paper
Constrained simulations, nested simulation semantics and counting bisimulations	2014-01-10	Paper
Unifying the linear time-branching time spectrum of process semantics	2013-07-09	Paper
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet	2013-03-28	Paper
The Equational Theory of Weak Complete Simulation Semantics over BCCSP	2012-06-15	Paper
Axiomatizing Weak Ready Simulation Semantics over BCCSP	2012-01-06	Paper
Ready to preorder: an algebraic and general proof	2009-09-29	Paper
(Bi)simulations up-to characterise process semantics	2009-04-14	Paper
New Bisimulation Semantics for Distributed Systems	2009-03-10	Paper
On the Unification of Process Semantics: Observational Semantics	2009-02-03	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q3045828	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4255557	1999-08-17	Paper

Research outcomes over time

This page was built for person: Carlos Gregorio Rodríguez