For the most recent entries see the Petri Nets Newsletter.

Consistency of Relational and Assertional Semantics of Concurrent Programs.

Best, E.

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.

Back to the Petri Nets Bibliography