USM
2000
14 years 3 months ago
2000
Jini is an infrastructure built on top of the mobile code facilities of the Java programming language enabling clients and services to spontaneously engage in arbitrary usage scena...
HPCN
1997
Springer
14 years 3 months ago
1997
Springer
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
HPCA
1997
IEEE
14 years 3 months ago
1997
IEEE
HPCA
1997
IEEE
14 years 3 months ago
1997
IEEE
CONCUR
1995
Springer
14 years 3 months ago
1995
Springer
CONCUR
1995
Springer
14 years 3 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
CONCUR
1995
Springer
14 years 3 months ago
1995
Springer
CONCUR
1995
Springer
14 years 3 months ago
1995
Springer
We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...
CONCUR
1995
Springer
14 years 3 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
CONCUR
1995
Springer
14 years 3 months ago
1995
Springer