For the most recent entries see the
Petri Nets Newsletter.
Causality Based Proof of a Distributed Shared Memory System.
Gomm, Dominik;
Kindler, Ekkart
In:
Bode, A.; Cin, M. Dal: Lecture Notes in Computer Science, Vol. 732; Parallel Computer Architecturs: Theory, Hardware, Software, Applications, pages 133-149.
Springer-Verlag,
1993.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography