2681 search results - page 229 / 537 » Topics in asynchronous systems |
163
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
173
click to vote
JSS
1998
15 years 5 months ago
1998
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...
220
click to vote
SIMPAR
2010
15 years 4 months ago
2010
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...
182
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
295
click to vote
FROCOS
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...