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	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2871848	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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