Deadlocking States in Context-Free Process Algebra.

Jir Srba

Browse the full MFCS paper archive.