Proving Assertions about Parallel Programs by Means of Traces.

For the most recent entries see the Petri Nets Newsletter.

Polish Academy of Sciences, Warsaw, Poland, Institute of Computer Science, Report No. 424, September 1980.

Do you need a refined search? Try our search engine which allows complex field-based queries.