575 search results - page 30 / 115 » A Calculus for Interaction Nets |
APLAS
2009
ACM
14 years 3 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
FSTTCS
2004
Springer
14 years 2 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
CONCUR
2001
Springer
14 years 1 months ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
ICCAL
1992
14 years 27 days 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...