Pascal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets.

For the most recent entries see the Petri Nets Newsletter.

Computer Science Department, Aarhus University, DAIMI PB 198, January 1986.

Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 222: Advances in Petri Nets 1985, pages 297-329. Springer-Verlag, 1986.

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