Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,468,387 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.
2011
2011
Statistical Weight Kinetics Modeling and Estimation for Silica Nanowire Growth Catalyzed by Pd Thin Film
Qiang Huang
,
Li Wang
,
+4 authors
Yu An
IEEE Transactions on Automation Science and…
2011
Corpus ID: 312201
This work intends to understand and model the kinetic aspect or the change of substrate weight over time in the selective growth…
Expand
Review
2009
Review
2009
The Transition Spiral and its Introduction to Railway Curves
Arthur Lovat Higgins
Nature
2009
Corpus ID: 4116983
THE early part of this book is devoted to a discussion on the principles underlying transition curves. The objects of a…
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
2002
2002
Transition to IPv6 in GPRS and WCDMA mobile networks
J. Wiljakka
IEEE Communications Magazine
2002
Corpus ID: 60592263
The limited size and structure of the Internet address space of IPv4 has caused difficulties in coping with the explosive…
Expand
2000
2000
ISpec: Towards Practical and Sound Interface Specifications
H. Jonkers
International Conference on Integrated Formal…
2000
Corpus ID: 17491112
This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications…
Expand
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
Review
1996
Review
1996
Partial Order Veriication with Pep
Marienburger Platz
1996
Corpus ID: 17956183
This paper describes the current status of the veriication testbed PEP (Programming Environment based on Petri Nets) from a…
Expand
1994
1994
Image morphing using deformable surfaces
Seungyong Lee
,
Kyung-Yong Chwa
,
J. Hahn
,
Sung-yong Shin
Proceedings of Computer Animation '94
1994
Corpus ID: 8791626
This paper presents a new image morphing technique using deformable surfaces. Drawbacks of previous techniques are overcome by a…
Expand
1993
1993
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities
Patrice Brémond-Grégoire
,
Insup Lee
,
R. Gerber
International Conference on Concurrency Theory
1993
Corpus ID: 6038658
This paper describes a timed process algebra called ACSR. ACSR supports synchronous timed actions and asynchronous instantaneous…
Expand
1990
1990
Specifying modules to satisfy interfaces: A state transition system approach
S. Lam
,
A. Shankar
Distributed computing
1990
Corpus ID: 31921264
SummaryWe defineinterface, module and the meaning ofM offers I, whereM denotes a module andI an interface. For a moduleM and…
Expand
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