Information Technology Reference
In-Depth Information
Acknowledgement.
We are grateful to Leslie Lamport for discussions on the de-
sign of our variant of PlusCal and for his encouragement of our project.
References
1. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LO-
TOS. Computer Networks 14 (1987)
2. Budkowski, S., Dembinski, P.: An introduction to Estelle: A specification language
for distributed systems. Comput. Netw. ISDN Syst. 14(1), 3-23 (1987)
3. Dijkstra, E.W.: Guarded commands, non-determinacy and formal derivation of
programs. Commun. ACM 18(8), 453-457 (1975)
4. Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-
Wesley, Reading (2004)
5. Killian, C.E., Anderson, J.W., Braud, R., Jhala, R., Vahdat, A.: Mace: Language
Support for Building Distributed Systems. In: PLDI, pp. 179-188 (2007)
6. Lamport, L.: Time, clocks, and the ordering of events in a distributed system.
Commun. ACM 21(7), 558-565 (1978)
7. Lamport, L.: A fast mutual-exclusion algorithm. ACM Trans. Computer Sys-
tems 5(1), 1-11 (1987)
8. Lamport, L.: Specifying Systems, The TLA+ Language and Tools for Hardware
and Software Engineers. Addison-Wesley, Reading (2002)
9. Lamport, L.: Checking a multithreaded algorithm with +CAL. In: Dolev, S. (ed.)
DISC 2006. LNCS, vol. 4167, pp. 151-163. Springer, Heidelberg (2006)
10. Lamport, L.: A +CAL user's manual (2007),
http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html
11. Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)
12. Naimi, M., Trehel, M., Arnold, A.: A log(n) distributed mutual exclusion algorithm
based on path reversal. J. Parallel Distrib. Comput. 34(1), 1-13 (1996)
13. Peterson, G.L.: Myths about the mutual exclusion problem. Inf. Process.
Lett. 12(3), 115-116 (1981)
14. Yu, Y., Manolios, P., Lamport, L.: Model checking TLA+ specifications. In:
Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54-66. Springer,
Heidelberg (1999)
Search WWH ::
Custom Search