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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
We introduce a globally normalized transition-based neural network model that achieves state-of-the-art part-ofspeech tagging… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Recently, opacity has proved a promising technique for describing security properties. Much of the work has been couched in terms… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents Persistent Turing Machines (PTMs), a new way of interpreting Turing-machine computation, based on dynamic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
This paper presents a novel method to derive a Petri net from a ny specification model that can be mapped into a state-based… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Over the last few years there has been an increasing research eeort directed towards the automatic veriication of innnite state… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
In this article the general approach to Plotkin-style operational semantics of Groote and Vaandrager (1989) is extended to… (More)
  • figure 1
  • table 1
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Transition systems are a simple and powerful formalism for explaining the operational behaviour of models of concurrency. They… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We are given a transition system implicitly through a compact representation and wish to perform simultaneously reachability… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
If you put tomfoolery into a computer, nothing comes out of it but tomfool-ery. But this tomfoolery, having passed through a very… (More)
  • figure 4.3
  • figure 4.7
  • figure 4.11
  • figure 4.12
  • figure 4.13
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Various notions of systems equivalence based on the reactions of systems to stimuli from the outside world are presented and… (More)
Is this relevant?