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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2017
01219952017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
  • Mallory CarrPatricia Zebrowski, Amanda VanHorne
  • 2017
The purpose of this study was to describe the underlying factors that children who stutter (CWS) and their parents believe… (More)
  • table 1
  • table 2
Is this relevant?
2016
2016
  • 2016
are the hysterical stutter and hysterical mutism. Convulsive attacks are usually classified as minor and major. In the former… (More)
Is this relevant?
Review
2016
Review
2016
The purpose of this study was to examine the relationship between articulation rate, frequency and duration of disfluencies of… (More)
  • table 3
  • table 6
Is this relevant?
2015
2015
  • MASTER’S
  • 2015
In forensic analysis of DNA samples, short tandem repeat (STR) regions in the genome are selectively amplified with PCR to… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2013
2013
  • Erwin van Duijnhoven
  • 2013
In this paper a conjecture is given on how to generate all permutations of a multiset where two subsequent permutations only… (More)
  • table 1
  • figure 1
  • figure 5
  • figure 8
  • figure 6
Is this relevant?
2010
2010
This paper investigates compositional verification with Propositional Projection Temporal Logic (PPTL). To this end, a sublogic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Landau-Kleffner syndrome is marked by an acquired aphasia in children who have had normal language and motor development. A 3… (More)
  • figure 1
  • figure 2
Is this relevant?
1998
1998
In concurrency theory, there are several examples where the interleaved model of concurrency can distinguish between execution… (More)
  • figure 1
Is this relevant?
Review
1998
Review
1998
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1995
1995
In concurrency theory, there are several examples where the interleaved model of concurrency can distinguish between execution… (More)
Is this relevant?