4340 search results - page 503 / 868 » Formal Methods and Cryptography |
193
click to vote
SFM
2004
Springer
16 years 2 days ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
174
click to vote
SFM
2004
Springer
16 years 2 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
170
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
165
click to vote
EGOV
2003
Springer
15 years 12 months ago
2003
Springer
Conversations between citizens and their representatives may take a number of forms. In this paper, we consider one of these — letters between citizens and representatives — an...
144
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation...