Compositional approach to sequential consistency and lazy caching

Distributed Computing

Volumn 12, Issue 2-3, 1999, Pages 105-127

  Janssen, Wil ^a   Poel, Mannes ^a   Zwiers, Job ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BUFFER STORAGE; DATA RECORDING; FORMAL LOGIC; MATHEMATICAL MODELS; SEQUENTIAL SWITCHING; THEOREM PROVING;

COMMUNICATING SEQUENTIAL PROCESSES (CSP); LAZY CACHING PROTOCOLS; SEQUENTIAL CONSISTENCY;

NETWORK PROTOCOLS;

EID: 0033322414     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004460050061     Document Type: Article

References (14)

1. Afek Y, Brown G, Merritt M: Lazy caching. Transactions of Programming Languages, 15(1): 182-206 (1993)
2. Bernstein P, Hadzilacos V, Goodman N: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987
3. Brookes SD, Hoare CAR, Roscoe AW: A theory of communicating sequential processes. Journal of the ACM, 31:560-599 (1984)
4. Gerth R (ed) Verifying Sequentially Consistent Memory, 1993. Deliverable Esprit/BRA Project 6021 (REACT).
5. Hoare CAR: Communicating Sequential Processes. Englewood Cliffs, HJ: Prentice-Hall 1985
6. Jonsson B: A model and proof system for asynchronous networks. In: Proceedings 4th ACM Symposium on Principles of Distributed Computing, pp 49-58, 1985
7. Janssen W, Poel M, Zwiers J: Action systems and action refinement in the development of parallel systems. In: Proceedings of CONCUR '91, LNCS 527, pp 298-316. Berlin Heidelberg New York: Springer 1991
8. Lamport L: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans Comput, C-28(9):690-691 (1979)
9. Misra J: Reasoning about networks of communicating processes. In: INRIA advanced Nato study institute on logics and models for verification and specification of concurrent systems, Nice, France, 1984
10. Olderog E-R, Hoare CAR: Specification-oriented semantics for communicating processes. Acta Informatica, 23:9-66 (1986)
11. Olderog E-R: Process theory: Semantics, specification and verification. In: ESPRIT/LPC Advanced School on Current Trends in Concurrency, LNCS 224. Berlin Heidelberg New York: Springer 1986
12. Olderog E-R: Nets, Terms and Formulas. Cambridge University Press 1991
13. Zwiers J: Compositionality, Concurrency and Partial Correctness, LNCS 321, Berlin Heidelberg New York: Springer 1989
14. Zwiers J: Mixed terms. Technical Report 96-XX, University of Twente, 1996