The following pages link to Carlos Gregorio Rodríguez (Q843210):
Displaying 20 items.
- Ready to preorder: an algebraic and general proof (Q843212) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- (Q1785861) (redirect page) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- On the Unification of Process Semantics: Equational Semantics (Q2805160) (← links)
- Unifying the Linear Time-Branching Time Spectrum of Process Semantics (Q2838240) (← links)
- Simulations Up-to and Canonical Preorders (Q2871827) (← links)
- (Q2871848) (← links)
- The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
- (Q3045828) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- On the Unification of Process Semantics: Observational Semantics (Q3599079) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- (Q4255557) (← links)
- Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (Q5415615) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897489) (← links)
