Title Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
From CERES
A list of all pages that have property "Title" with value "Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks."