35 search results - page 1 / 7 » ausai 2004 |
142
Voted
AUSAI
2004
Springer
16 years 26 days ago
2004
Springer
149
Voted
AUSAI
2004
Springer
16 years 26 days ago
2004
Springer
167
Voted
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
185
click to vote
AUSAI
2004
Springer
16 years 26 days ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...