Tailoring UNITY to distributed program design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1388, Issue , 1998, Pages 820-832

  Charpentier, Michel ^a   Filali, Mamoun ^a   Mauran, Philippe ^a   Padiou, Géraxd ^a   Quéinnec, Philippe ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMMUNICATION MECHANISMS; DISTRIBUTED PROGRAM; DISTRIBUTED SYSTEMS; MAPPING OPERATORS;

SEMANTICS;

EID: 22044440100     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64359-1_745     Document Type: Conference Paper

References (16)

1. M. Accetta, R. Baron, D. Golub, R.F. Rashid, A. Tevanian, and M. Young. Mach: a new kernel foundation for UNIX development. In Summer USENIX Conf., pages 93-112, 1986.
2. G.R. Andrews, R.A. Olsson, M. Coffin, I. Elshoff, K. Nilsen, T. Purdin, and G. Townsend. An overview of the SR language and implementation. A CM Transactions on Programming Languages and Systems, 10(1):51-86, January 1988.
3. A. Arora and M.G. Gouda. Delay-Insensitive stabilization. In S. Ghosh and T. Herman, editors, Self-Stabilizing Systems, volume 7 of International informatics series, pages 95-109. Carteton university press, 1997.
4. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
5. M. Charpentier. A UNITY mapping operator for distributed programs. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Fourth International Symposium of Formal Methods Europe (FME'97), volume 1313 of Lecture Notes in Computer Science, pages 665-684. Springer-Verlag, September 1997.
6. M. Charpentier. Assistance h la Rartition de Systemes Rdactifs. Thse de doctorat, Institut National Polytechnique de Toulouse, France, November 1997.
7. M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Quinnec. Abstracting communication to reason about distributed algorithms. In O. Babaolu and K. Marzullo, editors, Tenth International Workshop on Distributed Algorithms (WDAG'96), volume 1151 of Lecture Notes in Computer Science, pages 89-104. Springer-Verlag, October 1996.
8. M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Quoinnec. Tailoring UNITY to distributed program design. Technical report 97-55-R, Institut de Recherche en Informatique de Toulouse, France, November 1997. 21 pages. Available as http://www.enseeiht.fr/Recherche/Info/Logiciel/mvr/publis/RR_97_55_R.ps.
9. M. Charpentier and G. Padiou. Specification and verification of the ATMR protocol using UNITY. In D. Mry, editor, International workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA '97), pages 26-36, University of Geneva, Switzerland, April 1997.
10. E.W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communications of the ACM, 17(11):643-644, November 1974.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
12. F. Mattern. Algorithms for distributed termination detection. Distributed Computing, 2:161-175, 1987.
13. J. Misra. A Logic for Concurrent Programming. Technical Report ("New UNITY"), Department of Computer Science, University of Texas at Austin, 1994.
14. M. Raynal. Algorithmique du paralldlisme: le problme de l'exelusion mutuelle. Dunod, 1984.
15. M. Rozier and J. L. Martins. The Chorus distributed operating, system: some design issues. In Y. Paker, J.-P. Ban&tre, and M. Bozyigit, editors, Distributed Operating Systems, pages 261-287. Springer Verlag, January 1986.
16. A.K. Singh. Program refinement in fair transition systems. Acta Informatica, 30:503-535, May 1993.