For the most recent entries see the
Petri Nets Newsletter
.
Keyword: behavior specification
Holvoet, T.
;
Kielmann, T.
:
Behaviour specification of parallel active objects.
1998.
Giese, Holger
;
Graf, Jörg
;
Wirtz, Guido
:
Modeling Distributed Software Systems with Object Coordination Nets.
1998.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography