Modelling Component Behaviour with Concurrent Automata

Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause. Modelling Component Behaviour with Concurrent Automata. Electronic Notes in Theoretical Computer Science, 141(3):199-220, 2005. [doi]

Abstract

Abstract is missing.