3379 search results - page 1 / 676 » Combinators for Interaction Nets |
AOSE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
ENTCS
2007
13 years 10 months ago
2007
We define an observational equivalence for Lafont’s interaction combinators, which we prove to be the least discriminating non-trivial congruence on total nets (nets admitting ...
IMPERIAL
1994
14 years 2 months ago
1994
CNSR
2006
IEEE
14 years 4 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
APN
2006
Springer
14 years 2 months ago
2006
Springer
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...