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.
2017
2017
The purpose of this study was to describe the underlying factors that children who stutter (CWS) and their parents believe… Expand
2015
2015
The Helena approach allows to specify dynamically evolving ensembles of collaborating components. It is centered around the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
2011
2011
This study utilized a qualitative approach to explore the family experiences of seven adults who stutter. These family… Expand
2007
2007
Landau-Kleffner syndrome is marked by an acquired aphasia in children who have had normal language and motor development. A 3… Expand
  • figure 1
  • figure 2
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
2004
2004
Background: Reduced intensity conditioning regimens in peripheral blood stem cell transplantation (PBSCT) result in a period of… Expand
  • figure 1
2000
2000
Peled and Wilke [Inform. Process. Letters 63 (1997) 243] showed that the stutter-invariant languages expressible in linear… Expand
1998
1998
Abstract In concurrency theory, there are several examples where the interleaved model of concurrency can distinguish between… Expand
  • figure 1
1996
1996
In concurrency theory, there are several examples where the interleaved model of concurrency can distinguish between execution… Expand