BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 6 months ago
2005
Springer
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of s...
BIRTHDAY
2005
Springer
14 years 6 months ago
2005
Springer