Carlos Gregorio Rodríguez

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Logical characterisations, rule formats and compositionality for input-output conformance simulation Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation Journal of Logical and Algebraic Methods in Programming	2018-10-01	Paper
Logical characterisations and compositionality of input-output conformance simulation SOFSEM 2017: Theory and Practice of Computer Science	2017-04-04	Paper
On the unification of process semantics: equational semantics Electronic Notes in Theoretical Computer Science	2016-05-10	Paper
Axiomatizing weak simulation semantics over BCCSP Theoretical Computer Science	2014-06-10	Paper
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
Simulations up-to and canonical preorders (extended abstract) Electronic Notes in Theoretical Computer Science	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 Logical Methods in Computer Science	2013-07-09	Paper
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet Information Processing Letters	2013-03-28	Paper
The equational theory of weak complete simulation semantics over BCCSP SOFSEM 2012: Theory and Practice of Computer Science	2012-06-15	Paper
Axiomatizing weak ready simulation semantics over BCCSP Theoretical Aspects of Computing – ICTAC 2011	2012-01-06	Paper
Ready to preorder: an algebraic and general proof The Journal of Logic and Algebraic Programming	2009-09-29	Paper
(Bi)simulations up-to characterise process semantics Information and Computation	2009-04-14	Paper
New Bisimulation Semantics for Distributed Systems Lecture Notes in Computer Science	2009-03-10	Paper
On the Unification of Process Semantics: Observational Semantics Lecture Notes in Computer Science	2009-02-03	Paper
CONCUR 2005 – Concurrency Theory Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 2088906 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1324657 (Why is no real title available?)	1999-08-17	Paper

Research outcomes over time

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