3379 search results - page 3 / 676 » Combinators for Interaction Nets |
AWPN
2008
13 years 7 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
SG
2010
Springer
13 years 4 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 ...
CONCUR
2009
Springer
14 years 28 days ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
ICALP
2003
Springer
13 years 11 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...