575 search results - page 5 / 115 » A Calculus for Interaction Nets |
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
AWPN
2008
13 years 9 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
SG
2010
Springer
13 years 5 months ago
2010
Springer
We present a graphical user interface that allows an artist to virtually design and visualize net sculptures. Net sculptures consist of net pieces that are seamlessly connected to ...
IS
2008
13 years 7 months ago
2008
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...