Stuttering equivalence

Known as: Stuttering equivalent 
In theoretical computer science, stuttering equivalence, a relation written as , can be seen as a partitioning of path and into blocks, so that… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1990-2017
012319902017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We provide a new algorithm to determine stuttering equivalence with time complexity <i>O</i>(<i>m</i>log<i>n</i>), where <i>n</i… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2016
2016
Groote and Wijs recently described an algorithm for deciding stuttering equivalence and branching bisimulation equivalence… (More)
  • figure 1
  • figure 2
Is this relevant?
2016
2016
We provide a new algorithm to determine stuttering equivalence with time complexity O(m logn), where n is the number of states… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2013
2013
are not. Stuttering equivalence is a fundamental concept in the theory of concurrent and distributed systems. Notably, Lamport [1… (More)
Is this relevant?
2012
2012
We define governed stuttering bisimulation for parity games, weakening stuttering bisimulation by taking the ownership of… (More)
Is this relevant?
2011
2011
We study the process theoretic notion of stuttering equivalence in the setting of parity games. We demonstrate that stuttering… (More)
  • figure 1
  • table 1
  • table 2
Is this relevant?
2008
2008
The Paige and Tarjan algorithm (PT) for computing the coarsest refinement of a state partition which is a bisimulation on some… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2007
2007
For concurrent software systems state/event linear temporal logic SE-LTL is a specification language with high expressive power… (More)
  • table 1
  • figure 1
  • table 2
Is this relevant?
2005
2005
The language χ is a modeling and simulation language which is currently mainly used to analyse and optimize the performance of… (More)
Is this relevant?