For the most recent entries see the
Petri Nets Newsletter.
Formal Reasoning about Actor Programs Using Temporal Logic.
Schacht, S.
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 445-460.
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