18 search results - page 1 / 4 » fsen 2009 |
FSEN
2009
Springer
14 years 5 months ago
2009
Springer
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
FSEN
2009
Springer
14 years 5 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...