For the most recent entries see the Petri Nets Newsletter.

Formal treatment of data structures in concurrency models.

Guelfi, N.; Mourlin, F.

In: FI 96/16: Formal Methods for Concurrency / Desel, J.; Reichert, H.: Technical Report TUD. Technische Universität Dresden, Fakultät für Informatik, September 1996.

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

Back to the Petri Nets Bibliography