DELFIN+: An efficient deadlock detection tool for CCS processes
Sara Gradara, Antonella Santone, Maria Luisa VillaniVolume:
72
Year:
2006
Language:
english
Pages:
16
DOI:
10.1016/j.jcss.2006.03.003
File:
PDF, 414 KB
english, 2006