Skip to search formSkip to main contentSkip to account menu

Stuttering equivalence

Known as: Stutter (disambiguation), 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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
BisimulationComputation tree logicLinear temporal logicModal logic

Broader (2)

Formal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Stuttering equivalence is too slow!
Groote and Wijs recently described an algorithm for deciding stuttering equivalence and branching bisimulation equivalence… 
2011
2011
Partial order reduction for state/event LTL with application to component-interaction automata
2009
2009
Property-based Slicing for Agent Verification
Programming languages designed specifically for multi-agent systems represent a new programming paradigm that has gained… 
2009
2009
LTL Model Checking with use of Generalised Stuttering and Characteristic Patterns
Linear Temporal Logic (LTL) Model Checking can be used to check whether a concurrent system satisfies constraints such as… 
2009
2009
SAT-Based Compositional Verification Strategy for Concurrent Software with States,Events
For the state/event linear temporal logic SE-LTL, an SAT-based Bounded Model Checking procedure which avoids the space blow up of… 
2007
2007
Stochastic Network Fluid Modeling with Probabilistic Wavelet System
For concurrent software systems state/event linear temporal logic SE-LTL is a specification language with high expressive power… 
2006
2006
Specialization of Interaction Protocols in a Temporal Action Logic
2003
2003
Inheritance of Temporal Logic Properties
Inheritance is one of the key features for the success of object-oriented languages. Inheritance (or specialisation) supports… 
1992
1992
An Automata-Theoretic Decision Procedure for Future Interval Logic
Graphical Interval Logic (GIL) is a temporal logic in which all reasoning is done by means of diagrammatic formulae. It is a… 
1990
1990
Interruption in Conversational Dyads between Mothers and Their Preschool Stuttering and Nonstuttering Children.
This study analyzed overlap (or interruption behavior) in conversations between mothers and their stuttering children to… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)