Consistency of Relational and Assertional Semantics of Concurrent Programs.

For the most recent entries see the Petri Nets Newsletter.

Gesellschaft für Math. und Datenverarbeitung mbH Bonn, ISF-Report 82.01, May 1982.

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