Skip to search formSkip to main contentSkip to account menu

Stutter bisimulation

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
BisimulationTransition system

Broader (1)

Model checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2019
Highly Cited
2019
Detecting Multiple Speech Disfluencies Using a Deep Residual Network with Bidirectional Long Short-Term Memory
Stuttering is a speech impediment affecting tens of millions of people on an everyday basis. Even with its commonality, there is… 
2017
2017
Child and parent perspective of effective and ineffective therapeutic alliance during treatment for stuttering
The purpose of this study was to describe the underlying factors that children who stutter (CWS) and their parents believe… 
2016
2016
Development of Highly Polymorphic Expressed Sequence Tags-Simple Sequence Repeat Markers and Their Application in Analysis of Genetic Diversity of Chinese Bayberry (Morella rubra)
Chinese bayberry (Morella rubra) is an economically important subtropical evergreen fruit crop native to China and other Asian… 
2015
2015
Practical Stutter-Invariance Checks for ω-Regular Languages
An $$\omega $$-regular language is stutter-invariant if it is closed by the operation that duplicates some letter in a word or… 
2015
2015
Model-Checking Helena Ensembles with Spin
The Helena approach allows to specify dynamically evolving ensembles of collaborating components. It is centered around the… 
2011
2011
Family Experiences of People who Stutter Expériences familiales de personnes qui bégaient
This study utilized a qualitative approach to explore the family experiences of seven adults who stutter. These family… 
2006
2006
The effect of cleaning agents on the DNA analysis of blood stains deposited on different substrates
2004
2004
Strategies to improve the estimation of donor chimerism
2000
2000
A note on a question of Peled and Wilke regarding stutter-invariant LTL
1996
1996
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages
In concurrency theory, there are several examples where the interleaved model of concurrency can distinguish between execution… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)