TY  - JOUR

T1  - Canonical finite state machines for distributed systems

JO  - Theoretical Computer Science

PY  - 2010/01/01

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1016/j.tcs.2009.09.039

PB  - Elsevier BV

VL  - 411

IS  - 2

SP  - 566

EP  - 580

Y2  - 2024/12/22

ER  -