Teapot: a domain-specific language for writing cache coherence protocols
- 1 January 1999
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 25 (3) , 317-333
- https://doi.org/10.1109/32.798322
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Teapot: a domain-specific language for writing cache coherence protocolsIEEE Transactions on Software Engineering, 1999
- Transactional client-server cache consistencyACM Transactions on Database Systems, 1997
- A case study in model checking software systemsScience of Computer Programming, 1997
- Serverless network file systemsACM Transactions on Computer Systems, 1996
- Understanding the limitations of causally and totally ordered communicationPublished by Association for Computing Machinery (ACM) ,1993
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- Implementation and performance of MuninPublished by Association for Computing Machinery (ACM) ,1991
- Lightweight causal and atomic group multicastACM Transactions on Computer Systems, 1991
- Caching in the Sprite network file systemACM Transactions on Computer Systems, 1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987