Formal Behavioural Specification of Concurrent Systems without Globality Assumptions.

For the most recent entries see the Petri Nets Newsletter.

Formal Behavioural Specification of Concurrent Systems without Globality Assumptions.

Lauer, P.E.; Shields, M.W.; Cotronis, J.Y.

University of Newcastle Upon Tyne (England), Computing Lab., Final Technical Report, 1981.

Also in: Diaz, J.; Ramos, I.: Lecture Notes in Computer Science, Vol. 107: Int. Colloquium on Formalization of Programming Concepts, Proc., pages 115-151. Springer-Verlag, 1981.

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

Back to the Petri Nets Bibliography