6 search results - page 1 / 2 » concur 1995 |
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
CONCUR
1995
Springer
13 years 11 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
13 years 11 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 ...