Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
A method that includes novel algorithms to biomedical analysis, specifically including the treatment of stuttering, rhotacism… Expand
Is this relevant?
2016
2016
Chinese bayberry (Morella rubra) is an economically important subtropical evergreen fruit crop native to China and other Asian… Expand
  • table 1
  • table 2
  • table 2
  • figure 1
Is this relevant?
2015
2015
An $$\omega $$-regular language is stutter-invariant if it is closed by the operation that duplicates some letter in a word or… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2012
2012
An Examination of Motor Skills in Children Who Stutter. (August 2012) Andrew Martinez Jr., B.S., Texas A&M University Chair of… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2011
2011
This study utilized a qualitative approach to explore the family experiences of seven adults who stutter. These family… Expand
Is this relevant?
2006
2006
Abstract A deliberate attempt to remove biological material (using a variety of cleaning agents) is a problem faced by forensic… Expand
  • table 1
Is this relevant?
2004
2004
Abstract Background: Reduced intensity conditioning regimens in peripheral blood stem cell transplantation (PBSCT) result in a… Expand
  • figure 1
Is this relevant?
2000
2000
Peled and Wilke [Inform. Process. Letters 63 (1997) 243] showed that the stutter-invariant languages expressible in linear… Expand
Is this relevant?
1998
1998
Abstract In concurrency theory, there are several examples where the interleaved model of concurrency can distinguish between… Expand
  • figure 1
Is this relevant?
1996
1996
In concurrency theory, there are several examples where the interleaved model of concurrency can distinguish between execution… Expand
Is this relevant?