External Links

    Journal: Formal Methods in System Design

    Volume 28, Issue 2

    91 -- 92Sandeep K. Shukla, Michael Theobald. Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems
    93 -- 110Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli. A Framework for Modeling the Distributed Deployment of Synchronous Designs
    111 -- 130Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems
    131 -- 151Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design
    153 -- 169Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma. Reasoning about synchronization in GALS systems
    171 -- 186Uri Frank, Tsachy Kapschitz, Ran Ginosar. A predictive synchronizer for periodic clock domains
    runs on