Millstream Systems -- a Formal Model for Linking Language Modules by Interfaces
Suna Bensch, Frank Drewes · 2010
We introduce Millstream systems, a formal model consisting of modules and an interface, where the modules formalise different aspects of language, and the interface links these aspects with each other.