4485 search results - page 7 / 897 » Equivalences on Observable Processes |
ICALP
1998
Springer
14 years 24 days ago
1998
Springer
CORR
2010
Springer
13 years 8 months ago
2010
Springer
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
MCSS
2002
Springer
13 years 8 months ago
2002
Springer
In this paper, we study the observability properties of nonlinear discrete time systems. Two types of contributions are given. First, we present observability criteria in terms of...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...