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.
2020
2020
A Novel Approach using for Generating Diagnoses using Natural Language Processing Algorithms for Speech Disorders and a Modern Use of Voice Assistant Systems for Stuttering and Rhotacism Therapy
A method that includes novel algorithms to biomedical analysis, specifically including the treatment of stuttering, rhotacism… 
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… 
2017
2017
Applicability and universality of formulae for chimerism monitoring considering stutter PCR products
Analysis of genetic chimerism is one of the main methods to monitor the bone marrow engraftment after stem cells transplantation… 
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… 
2011
2011
Normering av Communication Attitude Test for Preschool and Kindergarten Children Who Stutter (KiddyCAT) för svenska barn 3–6 år
The main purpose of the study was to collect norm data for Communication Attitude Test for Preschool and Kindergarten Children… 
2010
2010
Compositional verification with stutter-invariant propositional projection temporal logic
This paper investigates compositional verification with Propositional Projection Temporal Logic (PPTL). To this end, a sublogic… 
2007
2007
A note on the characterization of TL[EF]
2007
2007
Syndrome Beginning With Stuttering : Case Report
Landau-Kleffner syndrome is marked by an acquired aphasia in children who have had normal language and motor development. A 3… 
2004
2004
Strategies to improve the estimation of donor chimerism
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)