For the most recent entries see the Petri Nets Newsletter.

A Note on Deadlocks in CA-Systems.

Sifakis, J.

Report R.R. No. 334. Universite Scientifique et Medicale de Grenoble, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble, 1982.

Also in: Bull. Eur. Assoc. Theor. Comput. Science (Austria), No. 20, pages 153-159. June 1983.

Keywords: deadlock; CA system; guarded command.

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

Back to the Petri Nets Bibliography