5409 search results - page 111 / 1082 » Basic Observables for Processes |
124
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
99
Voted
ICDCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Spatial alarms are considered as one of the basic capabilities in future mobile computing systems for enabling personalization of location-based services. In this paper, we propos...
101
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
ARTS
1997
Springer
15 years 4 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
108
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...