Computing strong and weak bisimulations for psi-calculi

We present a symbolic transition system and strong and weak bisimulation equivalences for psi-calculi, and show that they are fully abstract with respect to bisimulation congruences in the non-symbolic semantics. A procedure which computes the most general constraint under which two agents are bisim...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The journal of logic and algebraic programming Jg. 81; H. 3; S. 162 - 180
Hauptverfasser:	Johansson, Magnus, Victor, Björn, Parrow, Joachim
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.04.2012
Schlagworte:	Bisimulation Computer Science Datavetenskap Full abstraction Psi-calculi Symbolic semantics TECHNOLOGY TEKNIKVETENSKAP
ISSN:	1567-8326, 1873-5940
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!