Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Stutter_bisimulation> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Stutter_bisimulation abstract "Stutter bisimulation is defined in a coinductive manner, as bisimulation.Let TS=(S,Act,→,I,AP,L) be a transition system. A stutter bisimulation for TS is a binary relation R on S such that for all (s1,s2) which is in R: L(s1) = L(s2). If s1' is in Post(s1) with (s1',s2) is not in R,then there exists a finite path fragment s2u1…uns2' with n≥0 and (s1,ui) is in R, and (s1',s2') is in R. If s2' is in Post(s2) with (s1,s2') is not in R,then there exists a finite path fragment s1v1…vns1' with n≥0 and (vi,s2)is in R, and (s1',s2') is in R.".
- Stutter_bisimulation wikiPageID "30403056".
- Stutter_bisimulation wikiPageRevisionID "427823044".
- Stutter_bisimulation hasPhotoCollection Stutter_bisimulation.
- Stutter_bisimulation subject Category:Model_checking.
- Stutter_bisimulation comment "Stutter bisimulation is defined in a coinductive manner, as bisimulation.Let TS=(S,Act,→,I,AP,L) be a transition system. A stutter bisimulation for TS is a binary relation R on S such that for all (s1,s2) which is in R: L(s1) = L(s2). If s1' is in Post(s1) with (s1',s2) is not in R,then there exists a finite path fragment s2u1…uns2' with n≥0 and (s1,ui) is in R, and (s1',s2') is in R.".
- Stutter_bisimulation label "Stutter bisimulation".
- Stutter_bisimulation sameAs m.0g5rzqz.
- Stutter_bisimulation sameAs Q16976950.
- Stutter_bisimulation sameAs Q16976950.
- Stutter_bisimulation wasDerivedFrom Stutter_bisimulation?oldid=427823044.
- Stutter_bisimulation isPrimaryTopicOf Stutter_bisimulation.