For the most recent entries see the
Petri Nets Newsletter.
A General Approach to Trace-Checking in Distributed Computing Systems.
Jard, C.;
Jéron, T.;
Jourdan, G.V.;
Rampon, J.X.
INRIA, Rapports de Recherche No. 2238, pages 1-18 pp..
Institut National de Recherche en Informatique et en Automatique,
March 1994.
Keywords:
distributed computation; debugging parallel programs; predicate checking;
timestamps; causality order; lattice of consistent cuts.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography