For the most recent entries see the
Petri Nets Newsletter.
Keyword: distributed software
-
Gedela, Ravi K.;
Shatz, Sol M.;
Xu, Haiping:
Formal modeling of synchronization methods for concurrent objects in Ada 95.
1999.
-
Bundell, G.A.:
Modeling of distributed systems with timed event graphs.
1998.
-
Giese, Holger;
Graf, Jörg;
Wirtz, Guido:
Modeling Distributed Software Systems with Object Coordination Nets.
1998.
-
Wirtz, G.;
Graf, J.;
Giese, H.:
Ruling the Behaviour of Distributed Software Components.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography