Language-based analysis of communicating finite state machines.

Jan Huus, Hasan Ural

Browse the full ICNP paper archive.