About: A note on Coinduction and Weak Bisimilarity for While Programs

Documentation

scienceplus.abes.fr version Bêta

scienceplus.abes.fr | explorer

À propos de : A note on Coinduction and Weak Bisimilarity for While Programs Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	work Article
Is Part Of	http://hub.abes.fr/edp/periodical/ita/1999/volume_33/issue_45/w
Subject	Coalgebra while program. automaton weak bisimulation Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Semantics coinduction
Title	A note on Coinduction and Weak Bisimilarity for While Programs
Date	1999-01-01(xsd:dateTime)
has manifestation of work	http://hub.abes.fr/edp/periodical/ita/1999/volume_33/issue_45/ita9932/m/print http://hub.abes.fr/edp/periodical/ita/1999/volume_33/issue_45/ita9932/m/web
related by	http://hub.abes.fr/edp/periodical/ita/1999/volume_33/issue_45/ita9932/authorship/1
Author	Rutten, J. J.M.M.
Abstract	An illustration of coinduction in terms of a notion of weak bisimilarity is presented. First, an operational semantics $\mbox{${\cal O}$}$ for while programs is defined in terms of a final automaton. It identifies any two programs that are weakly bisimilar, and induces in a canonical manner a compositional model $\mbox{${\cal D}$}$. Next $\mbox{${\cal O}$}= \mbox{${\cal D}$}$ is proved by coinduction.
article type	research-article
publisher identifier	ita9932
Date Copyrighted	1999-01-01(xsd:dateTime)
Rights	© EDP Sciences, 1999
Rights Holder	EDP Sciences
is part of this journal	RAIRO - Theoretical Informatics and Applications
is primary topic of	http://hub.abes.fr/edp/periodical/ita/1999/volume_33/issue_45/ita9932/w/record

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata