575 search results - page 8 / 115 » A Calculus for Interaction Nets |
140
Voted
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
CONCUR
1995
Springer
15 years 5 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 ...
ENTCS
2002
15 years 1 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
154
click to vote
DKE
2008
15 years 1 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
CHI
2004
ACM
16 years 2 months ago
2004
ACM
