Login / Signup

Correctness of Concurrent Processes.

Ernst-Rüdiger Olderog
Published in: MFCS (1989)
Keyphrases
  • concurrent processes
  • concurrent programs
  • petri net
  • knowledge base
  • management system