Towards ‘up to context’ reasoning about higher-order processes

Proving behavioural equivalences in higher-order languages is a difficult task, because interactions involve complex values, namely terms of the language. In coinductive (i.e., bisimulation-like) techniques for these languages, a useful enhancement is the ‘up-to context’ reasoning, whereby common pi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science 2020-02, Vol.807, p.154-168
Hauptverfasser:	Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide
Format:	Artikel
Sprache:	eng
Schlagworte:	Bisimilarity Computer Science Higher-order Logic in Computer Science Process calculi Programming Languages Termination Unique solution of equations
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!