Skip to search formSkip to main contentSkip to account menu

Transition system

Known as: Transition, Labelled transition system, Labeled transition system 
In theoretical computer science, a transition system is a concept used in the study of computation. It is used to describe the potential behavior of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
Abstract rewriting systemAction languageAutomata theoryAverest

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2003
2003
Performance modelling with the Unified Modelling Language and stochastic process algebras
A software toolset which allows unified modelling language (UML) modellers to annotate models with performance information is… 
2002
2002
The Möbius state-level abstract functional interface
2000
2000
Graphical Operational Semantics
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the… 
2000
2000
ISpec: Towards Practical and Sound Interface Specifications
This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications… 
1998
1998
A Testing Equivalence for Reactive Probabilistic Processes
1998
1998
An axiomatics for categories of coalgebras
1998
1998
Correlation functions in the Nagel-Schreckenberg model
We investigate the effect of the jamming transition on short-range correlation functions in the Nagel-Schreckenberg cellular… 
1997
1997
Representation of Computations in Concurrent Automata by Dependence Orders
1997
1997
Visual Behaviors for Real-Time Control of a Binocular Active Vision System
1984
1984
Covariant polarization bases for spin=12, 1, 32 particles and their use☆
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)