2272 search results - page 90 / 455 » A Calculus for |
143
click to vote
LFCS
1994
Springer
15 years 8 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
155
Voted
ICCAL
1992
15 years 8 months ago
1992
We describe the development and use of an online textbook for first-year calculus, the second edition of a book that first appeared in print. The principles on which the book is b...
148
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
115
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—An attacker that can identify messages as coming from the same source, can use this information to build up a picture of targets’ behaviour, and so, threaten their privacy. In...
158
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...