Glossary:deadlocked state: Difference between revisions - ProB Documentation

Glossary:deadlocked state: Difference between revisions

Joy Clark (talk | contribs)
Deadlocked State Glossary entry
 
Joy Clark (talk | contribs)
No edit summary
 
Line 1: Line 1:
A [[glossary:state]] from which no further states are able to be reached.
A [[glossary:state|state]] from which no further states are able to be reached.

Latest revision as of 13:59, 8 December 2011

A state from which no further states are able to be reached.