Graphical representation of covariant-contravariant modal formulae

Graphical representation of covariant-contravariant modal formulae

Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal logic. Moreover, we have investigated the relationships betwee...

Full description

Bibliographic Details
Main Authors:	Miguel Palomino, Anna Ingólfsdóttir, David de Frutos-Escrig, Ignacio Fábregas, Luca Aceto
Format:	Article
Language:	English
Published:	Open Publishing Association 2011-08-01
Series:	Electronic Proceedings in Theoretical Computer Science
Online Access:	http://arxiv.org/pdf/1108.4464v1

Similar Items

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
by: Ignacio Fábregas, et al.
Published: (2010-08-01)

The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement
by: Huili Xing
Published: (2019-01-01)

Fixed Points on Covariant and Contravariant Maps with an Application
by: Rajagopalan Ramaswamy, et al.
Published: (2022-11-01)

Homogeneous-Multiset-CCA-Based Brain Covariation and Contravariance Connectivity Network Modeling
by: Qinrui Ling, et al.
Published: (2023-01-01)

Characteristic Formulae for Relations with Nested Fixed Points
by: Luca Aceto, et al.
Published: (2012-02-01)

Characteristic Formulae for Fixed-Point Semantics: A General Framework
by: Luca Aceto, et al.
Published: (2009-11-01)

Rule Formats for Nominal Process Calculi
by: Luca Aceto, et al.
Published: (2019-10-01)

Meta SOS - A Maude Based SOS Meta-Theory Framework
by: Luca Aceto, et al.
Published: (2013-07-01)

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
by: Luca Aceto, et al.
Published: (2005-03-01)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
by: Luca Aceto, et al.
Published: (2023-02-01)

A Survey of Runtime Monitoring Instrumentation Techniques
by: Ian Cassar, et al.
Published: (2017-08-01)

Axiomatizing GSOS with Predicates
by: Luca Aceto, et al.
Published: (2011-08-01)

Extreme-Value Graphical Models With Multiple Covariates
by: Yu, Hang, et al.
Published: (2018)

On the Axiomatisability of Parallel Composition
by: Luca Aceto, et al.
Published: (2022-01-01)

An effective recursive formula for the Frobenius covariants in matrix functions
by: Schäfer F.
Published: (2017-01-01)

On Graphical Calculi for Modal Logics
by: Paulo A. S. Veloso, et al.
Published: (2016-12-01)

On the use of graphical models to model extreme events with multiple covariates
by: Cheng, Jingjing.
Published: (2013)

Adjoints and low-rank covariance representation
by: M. K. Tippett, et al.
Published: (2001-01-01)

Unifying the Linear Time-Branching Time Spectrum of Process Semantics
by: David de Frutos Escrig, et al.
Published: (2013-06-01)

Graphical representation of biomolecules
by: Su, Xinhui
Published: (2024)

The Graphical Representation of Inequality
by: ALBERTO ARCAGNI, et al.
Published: (2014-12-01)

Graphical representation of multivariate data : proceedings of the symposium on graphical representation of multivariate data /
by: Symposium on Graphical Representation of Multivariate Data (Feb 24, 1978 : Naval Postgraduate School, Monterey, California), et al.
Published: (1978)

Emotion Analysis Using Multilayered Networks for Graphical Representation of Tweets
by: Anna Nguyen, et al.
Published: (2022-01-01)

A covariance formula for topological events of smooth Gaussian fields
by: Beliaev, D, et al.
Published: (2020)

A Study on the <inline-formula><graphic file="1687-1847-2010-163217-i1.gif"/></inline-formula>-Adic Integral Representation on <inline-formula><graphic file="1687-1847-2010-163217-i2.gif"/></inline-formula> Associated with Bernstein and Bernoulli Polynomials
by: Kim Won-Joo, et al.
Published: (2010-01-01)

Graphical Sequent Calculi for Modal Logics
by: Minghui Ma, et al.
Published: (2017-03-01)

Covariance Representations and Coherent Measures for Some Entropies
by: Baishuai Zuo, et al.
Published: (2023-11-01)

Geometry for computer graphics : formulae, examples and proofs /
by: 210156 Vince, John (John A.)
Published: (2005)

Properties <inline-formula> <graphic file="1687-1812-2010-342691-i1.gif"/></inline-formula> and <inline-formula> <graphic file="1687-1812-2010-342691-i2.gif"/></inline-formula>, <inline-formula> <graphic file="1687-1812-2010-342691-i3.gif"/></inline-formula> Embeddings in Banach Spaces with 1-Unconditional Basis and <inline-formula> <graphic file="1687-1812-2010-342691-i4.gif"/></inline-formula>
by: Fetter Helga, et al.
Published: (2010-01-01)

Graphical representation of independence structures
by: Sadeghi, K
Published: (2012)

Graphic styles for the representation of the landscape.
by: Marina Sender Contell, et al.
Published: (2019-06-01)

GRAPHIC REPRESENTATIONS IN TRAFFIC SURVEYS
by: Voichita Roib
Published: (2006-06-01)

GRAPHIC REPRESENTATIONS IN TRAFFIC SURVEYS
by: Voichita Roib
Published: (2006-06-01)

GRAPHIC REPRESENTATIONS IN TRAFFIC SURVEYS
by: ROIB Voichiţa
Published: (2006-08-01)

The space paradox in graphic representation
by: Lange-Kuettner, Christiane, et al.
Published: (2022)

The space paradox in graphic representation
by: Christiane Lange-Küttner, et al.
Published: (2022-10-01)

GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS
by: Damian GIEBAS, et al.
Published: (2018-06-01)

Semiosis of representations in graphical design
by: V.I. Krivoruchkin, et al.
Published: (2007-05-01)

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
by: Luca Aceto, et al.
Published: (2011-07-01)

A covariant momentum representation for loop corrections in gravity
by: Rodrigo Alonso
Published: (2020-05-01)