433 search results - page 39 / 87 » On stabilizers of infinite words |
79
Voted
IPL
2008
15 years 23 days ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
83
Voted
JUCS
2006
15 years 21 days ago
2006
: Behavioural specifications allow to focus only on the"observable" behaviour of objects. These observations are made through "observable contexts" which are pa...
100
click to vote
TCS
2008
15 years 20 days ago
2008
We prove that it is decidable whether a finitely based permutation class contains infinitely many simple permutations, and establish an unavoidable substructure result for simple ...
TCS
2008
15 years 20 days ago
2008
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and relate...
114
click to vote
AUTOMATICA
2002
15 years 19 days ago
2002
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...