For the most recent entries see the
Petri Nets Newsletter.
Mathematical Theories on Operating Systems.
Saito, N.
In:
Proc. of the Third Symp. on Basic Theory of Programs (Kyoto 1973) and the Workshop for Proof Theory about Algorithms (Kyoto 1974), Surikaisekikenkyusho Kokyuroku, No. 236, pages 153-173.
1975.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography