Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.

Sandeep K. Shukla Michael Theobald Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. 91-92 2006 28 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-006-7840-z db/journals/fmsd/fmsd28.html#ShuklaT06