A UNITY mapping operator for distributed programs-Reference-Cited by-同舟云学术

A UNITY mapping operator for distributed programs

Published:1997 Issue: Volume: Page:665-684
ISSN:0302-9743
Container-title:FME '97: Industrial Applications and Strengthened Foundations of Formal Methods
language:
Short-container-title:

Author:

Charpentier Michel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63533-5_35.pdf

Reference18 articles.

1. 3rd Annual IEEE Symposium on Logic in Computer Science;M. Abadi,1988

2. N. Brown and A. Mokkedem. On mechanizing proofs within a complete proof system for Unity. In Algebraic Methodology and Software Technology, Concordia University of Montréal, 1995.

3. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.

4. M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Queinnec. Observer pour Répartir. In Journées du GDR programmation, Grenoble, novembre 1995.

5. M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Queinnec. Abstracting communication to reason about distributed algorithms. In Özalp BabaoĢlu and Keith Marzullo, editors, 10th Int'l Workshop on Distributed Algorithms (WDAG'96), volume 1151 of Lecture Notes in Computer Science, pages 89–104, October 1996.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the diversity of asynchronous communication;Formal Aspects of Computing;2016-09

2. Mapping PUNITY to UniNet;Journal of Computer Science and Technology;2003-05

3. Examples of program composition illustrating the use of universal properties;Lecture Notes in Computer Science;1999

4. Tailoring UNITY to distributed program design;Lecture Notes in Computer Science;1998