For the most recent entries see the Petri Nets Newsletter.

Relational Semantics of Concurrent Programs (With Some Applications).

Best, E.

In: Björner, D.: Proc. of IFIP TC2 Working Conference on Formal Description of Programming Concepts, Garmisch-Partenkirchen, pages 431-452. North-Holland Publ. Co., June 1982.


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

Back to the Petri Nets Bibliography