In theoretical computer science, stuttering equivalence, a relation written as , can be seen as a partitioning of path and into blocks, so thatâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Jan Friso Groote, David N. Jansen, Jeroen Keiren, Anton Wijs
- ACM Trans. Comput. Log.
- 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)

Is this relevant?

2016

2016

- David N. Jansen, Jeroen Keiren
- ArXiv
- 2016

Groote and Wijs recently described an algorithm for deciding stuttering equivalence and branching bisimulation equivalenceâ€¦Â (More)

Is this relevant?

2016

2016

- Jan Friso Groote, Anton Wijs
- TACAS
- 2016

We provide a new algorithm to determine stuttering equivalence with time complexity O(m logn), where n is the number of statesâ€¦Â (More)

Is this relevant?

2013

2013

- Stephan Merz
- 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

- Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse
- ICTAC
- 2012

We define governed stuttering bisimulation for parity games, weakening stuttering bisimulation by taking the ownership ofâ€¦Â (More)

Is this relevant?

2011

2011

- Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse
- ArXiv
- 2011

We study the process theoretic notion of stuttering equivalence in the setting of parity games. We demonstrate that stutteringâ€¦Â (More)

Is this relevant?

2008

2008

- Francesco Ranzato, Francesco Tapparo
- Inf. Comput.
- 2008

The Paige and Tarjan algorithm (PT) for computing the coarsest refinement of a state partition which is a bisimulation on someâ€¦Â (More)

Is this relevant?

2007

2007

- Conghua Zhou, Shiguang Ju
- Eighth ACIS International Conference on Softwareâ€¦
- 2007

For concurrent software systems state/event linear temporal logic SE-LTL is a specification language with high expressive powerâ€¦Â (More)

Is this relevant?

2005

2005

- Bas Luttik, Nikola Trcka
- 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?

Highly Cited

1990