We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Weconsider the problemof generic broadcast in asynchronous systems with crashes, a problem that was rst studied in 12]. Roughly speaking, given a \con ict" relation on the set...
Despite the wealth of information and communication technology in society today, there appears to be a lack of acceptable information services for the growing elderly population in...
Erwin R. van Veldhoven, Martijn H. Vastenburg, Dav...
Staying in touch with extended family members can be a challenge in part because of the time and effort required, even with the help of current technologies. To explore the value ...
A. J. Bernheim Brush, Kori M. Inkpen, Kimberly Tee