26 search results - page 2 / 6 » fuin 2002 |
FUIN
2002
13 years 5 months ago
2002
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
FUIN
2002
13 years 5 months ago
2002
In this paper we investigate the injectivity of the Parikh matrix mapping. This research is done mainly on the binary alphabet. We identify a family of binary words, refered to as...
FUIN
2002
13 years 5 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
FUIN
2002
13 years 5 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
FUIN
2002
13 years 5 months ago
2002
Control of autonomous mobile robots in dynamical environments is interesting from a cognitive point of view as well as under application view points. Stimulus response controls ar...