Modeling and validating globally asynchronous design in synchronous frameworks
Citations
90 citations
Cites background or methods from "Modeling and validating globally as..."
...For example, asynchronous communication can be modeled by using additional processes in a synchronous language such as χ, which is a common and widely used approach [Milner 1989; De Boer et al. 1992; Baeten and Bergstra 1992; Halbwachs and Baghdadi 2002; Mousavi et al. 2004]....
[...]
..., in the area of so-called globally asynchronous locally synchronous (GALS) systems [Halbwachs and Baghdadi 2002; Mousavi et al. 2004]....
[...]
63 citations
39 citations
27 citations
Cites background from "Modeling and validating globally as..."
...These constructs are expressive enough to derive new constructs of the language for comfort and structuring....
[...]
...While these studies were mostly devoted to the practical side, Benveniste and Le Guernic lead several theoretical works on the distribution of SIGNAL programs [8], [9], [25], [11], [37], [41]....
[...]
10 citations
References
687 citations
257 citations
94 citations
90 citations
"Modeling and validating globally as..." refers background in this paper
...Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks MohammadReza Mousavi1, Paul Le Guernic2, Jean-Pierre Talpin2 , Sandeep Kumar Shukla3,TwanBasten1 1 Eindhoven University of Technology, Eindhoven, The Netherlands 2INRIA/IRISA, Rennes, France 3Virginia Tech., Blacksburg, USA Abstract We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model....
[...]
...Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks MohammadReza Mousavi1, Paul Le Guernic2, Jean-Pierre Talpin2 , Sandeep Kumar Shukla3,TwanBasten1 1 Eindhoven University of Technology, Eindhoven, The Netherlands 2INRIA/IRISA, Rennes, France 3Virginia Tech.,…...
[...]
60 citations