Overcoming heterophobia: modeling concurrency in heterogeneous systems
- 13 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We describe a framework where formal models can be rigorously defined and compared, and their interconnec- tions can be unambiguously specified. We usetrace algebra and trace structure algebra to provide the underlying math- ematical 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.Keywords
This publication has 9 references indexed in Scilit:
- A framework for comparing models of computationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
- Design of embedded systems: formal models, validation, and synthesisProceedings of the IEEE, 1997
- Hardware-Software Co-Design of Embedded SystemsPublished by Springer Nature ,1997
- Computer-Aided Verification of Coordinating ProcessesPublished by Walter de Gruyter GmbH ,1995
- Trace Algebra for Automatic Verification of Real-Time Concurrent SystemsPublished by Defense Technical Information Center (DTIC) ,1992
- Basic notions of trace theoryPublished by Springer Nature ,1989
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyPublished by Springer Nature ,1989
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986