Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems (2001)
Cached
Download Links
- [www-cad.eecs.berkeley.edu]
- [embedded.eecs.berkeley.edu]
- [www-cad.eecs.berkeley.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Application of Concurrency to System Design |
| Citations: | 19 - 6 self |
BibTeX
@INPROCEEDINGS{Burch01overcomingheterophobia:,
author = {Jerry Burch and Roberto Passerone},
title = {Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems},
booktitle = {Application of Concurrency to System Design},
year = {2001},
pages = {13--32}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
Citations
| 393 | Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Kurshan - 1994 |
| 234 | Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits, ACM Distinguished Dissertations - Dill - 1989 |
| 231 | Modeling Concurrency with Partial Orders - Pratt - 1986 |
| 208 | A framework for comparing models of computation - Lee, Sangiovanni-Vincentelli - 1998 |
| 152 | HardwareSoftware Co-Design of Embedded Systems: The Polis Approach - Balarin, Chiodo, et al. - 1997 |
| 92 | Design of embedded systems: Formal models, validation, and synthesis - Edwards, Lavagno, et al. - 1997 |
| 72 | Basic notions of trace theory - Mazurkiewicz - 1989 |
| 19 | Overview of the ptolemy project - Goel, Hylands, et al. - 1999 |
| 11 | Heterogeneous concurrent modeling and design - Davis, Hylands, et al. - 2001 |
| 4 | Felix initiative pursues new co-design methodology - Rowson, Sangiovanni-Vincentelli - 1998 |
| 2 | Algebra for Automatic Verification of Real-Time Concurrent Systems - Trace - 1992 |
