An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach

Benoit Gaudin, Hervé Marchand. An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach. Discrete Event Dynamic Systems, 17(2):179-209, 2007. [doi]

Abstract

Abstract is missing.