Login / Signup

Petri-Net-Based Deadlock Analysis of Process Algebra Programs.

Panos RondogiannisMantis H. M. Cheng
Published in: Sci. Comput. Program. (1994)
Keyphrases
  • artificial intelligence