For the most recent entries see the Petri Nets Newsletter.

An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.

Gaspari, M.; Zavattaro, G.

In: Agha, G.A.; De Cindio, F.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 2001: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, pages 428-444. Springer-Verlag, 2001.


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

Back to the Petri Nets Bibliography