Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,293,697 papers from all fields of science
Search
Sign In
Create Free Account
Transition system
Known as:
Transition
, Labelled transition system
, Labeled transition system
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Abstract rewriting system
Action language
Automata theory
Averest
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
A General Framework for Expressing Preferences in Causal Reasoning and Planning
J. Delgrande
,
Torsten Schaub
,
H. Tompits
Journal of Logic and Computation
2007
Corpus ID: 2046549
We consider the problem of representing arbitrary preferences in causal reasoning and planning systems. In planning, a preference…
Expand
2007
2007
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
S. Graf
,
Sophie Quinton
Formal Techniques for (Networked and) Distributed…
2007
Corpus ID: 203170
This paper presents an extension of the BIP component framework to hierarchical components by considering also port sets of…
Expand
2005
2005
Operating guidelines - an automata-theoretic foundation for the service-oriented architecture
Peter Massuthe
,
K. Wolf
International Conference on Quality Software
2005
Corpus ID: 7549348
In the service-oriented architecture (SOA), we distinguish three roles of service owners: service providers, service requesters…
Expand
2003
2003
Performance modelling with the Unified Modelling Language and stochastic process algebras
C. Canevet
,
S. Gilmore
,
J. Hillston
,
Matthew Prowse
,
P. Stevens
2003
Corpus ID: 62750668
A software toolset which allows unified modelling language (UML) modellers to annotate models with performance information is…
Expand
2002
2002
The Möbius state-level abstract functional interface
Salem Derisavi
,
P. Kemper
,
W. Sanders
,
T. Courtney
Performance evaluation (Print)
2002
Corpus ID: 5878117
2000
2000
Graphical Operational Semantics
A. Corradini
,
R. Heckel
,
U. Montanari
ICALP Satellite Workshops
2000
Corpus ID: 14911050
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the…
Expand
1998
1998
A Testing Equivalence for Reactive Probabilistic Processes
M. Kwiatkowska
,
G. Norman
International Workshop on Expressiveness in…
1998
Corpus ID: 2820766
1998
1998
An axiomatics for categories of coalgebras
J. Power
,
Hiroshi Watanabe
International Workshop on Coalgebraic Methods in…
1998
Corpus ID: 7893162
1997
1997
Representation of Computations in Concurrent Automata by Dependence Orders
F. Bracho
,
M. Droste
,
D. Kuske
Theoretical Computer Science
1997
Corpus ID: 7219302
1984
1984
Covariant polarization bases for spin=12, 1, 32 particles and their use☆
G. Passarino
1984
Corpus ID: 10546790
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)
ACCEPT & CONTINUE