Ignacio Fábregas

Proc. ACM Program. Lang., 2021

2019

When are prime formulae characteristic?

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Specifying concurrent programs in separation logic: morphisms and simulations.

[BibT_eX]

[DOI]

Aleksandar Nanevski

Anindya Banerjee

Germán Andrés Delbianco

Proc. ACM Program. Lang., 2019

Rule Formats for Nominal Process Calculi.

[BibT_eX]

[DOI]

Yolanda Ortega-Mallén

Log. Methods Comput. Sci., 2019

Logical characterisations, rule formats and compositionality for input-output conformance simulation.

[BibT_eX]

[DOI]

Carlos Gregorio-Rodríguez

J. Log. Algebraic Methods Program., 2019

2017

A unified rule format for bounded nondeterminism in SOS with terms as labels.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Logical Characterisations and Compositionality of Input-Output Conformance Simulation.

[BibT_eX]

[DOI]

Carlos Gregorio-Rodríguez

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2013

On the specification of modal systems: A comparison of three frameworks.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

2011

Graphical representation of covariant-contravariant modal formulae

[BibT_eX]

[DOI]

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010

Logics for Contravariant Simulations.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

Non-strongly Stable Orders Also Define Interesting Simulation Relations.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.

[BibT_eX]

[DOI]