skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

A* for Deadlock Detection in CCS processes

Gradara, S., A. Santone, and M. Luisa Villani, "A* for Deadlock Detection in CCS processes", Concurrency Specification and Programming, 2003, Czarna, Poland, pp. 182-193, 2003.