Stutter bisimulation
id:
stutter-bisimulation-226-1496467
title:
Stutter bisimulation
text:
In theoretical computer science, a stutter bisimulation is a relationship between two transition systems, abstract machines that model computation. It is defined coinductively and generalizes the idea of bisimulations. A bisimulation matches up the states of a machine such that transitions correspond; a stutter bisimulation allows transitions to be matched to finite path fragments.
brand slug:
wiki
category slug:
encyclopedia
description:
Relationship between transition systems
original url:
https://en.wikipedia.org/wiki/Stutter_bisimulation
date created:
2011-01-10T09:03:55Z
date modified:
2024-09-15T00:38:52Z
main entity:
{"identifier":"Q16976950","url":"https://www.wikidata.org/entity/Q16976950"}
image:
fields total:
13
integrity:
15