Sciweavers

ACSD
2001
IEEE

Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems

14 years 3 months ago
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace structure algebra to provide the underlying mathematical machinery. We believe that this framework will be essential to provide the foundations of an intermediate format that will provide the Metropolis infrastructure with a formal mechanism for interoperability among tools and specification methods.
Jerry R. Burch, Roberto Passerone, Alberto L. Sang
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where ACSD
Authors Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
Comments (0)