This extended abstract summarises work conducted with Adrien Durier and Daniel Hirschkoff (ENS Lyon), initially reported in [38]. Bisimilarity is employed to define behavioural equivalences and reason about them. Originated in concurrency theory, bisimilarity is now widely used also in other areas, as well as outside Computer Science. In this work, behavioural equivalences, hence also bisimilarity, are meant to be weak because they abstract from internal moves of terms, as opposed to the strong ones, which make no distinctions between the internal moves and the external ones (i.e., the interactions with the environment). Weak equivalences are, practically, the most relevant ones: e.g., two equal programs may produce the same result with different numbers of evaluation steps.

The proof technique of unique solutions of contractions / Sangiorgi, Davide. - STAMPA. - 9399:(2015), pp. 63-68. (Intervento presentato al convegno 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015 tenutosi a Cali, Colombia nel 2015) [10.1007/978-3-319-25150-9_5].

The proof technique of unique solutions of contractions

SANGIORGI, DAVIDE
2015

Abstract

This extended abstract summarises work conducted with Adrien Durier and Daniel Hirschkoff (ENS Lyon), initially reported in [38]. Bisimilarity is employed to define behavioural equivalences and reason about them. Originated in concurrency theory, bisimilarity is now widely used also in other areas, as well as outside Computer Science. In this work, behavioural equivalences, hence also bisimilarity, are meant to be weak because they abstract from internal moves of terms, as opposed to the strong ones, which make no distinctions between the internal moves and the external ones (i.e., the interactions with the environment). Weak equivalences are, practically, the most relevant ones: e.g., two equal programs may produce the same result with different numbers of evaluation steps.
2015
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
63
68
The proof technique of unique solutions of contractions / Sangiorgi, Davide. - STAMPA. - 9399:(2015), pp. 63-68. (Intervento presentato al convegno 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015 tenutosi a Cali, Colombia nel 2015) [10.1007/978-3-319-25150-9_5].
Sangiorgi, Davide
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/556787
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact