wgd@ukc.ac.uk (W.G.Day) (05/03/91)
Here again, is the list of Unity references that I received, but hopefully
everything in this list *has* been published. Also I have also received
some more references which are included here for the first time. These
appear just before those that discuss a related foundation.
The book:
@book{,
author = "K. Mani Chandy and Jayadev Misra",
title = "Parallel Program Design: A Foundation",
publisher = "Addison Wesley Publishing Company, Inc.",
address = "Reading, Massachusetts",
year = 1988
}
and a series called Notes On Unity which contain are more recent work.
Some of these contain extensions and improvements to the theory others
are program derivations. Mail Jayadev Misra's secretary, Nancy Lawler
at nel@cs.utexas.edu for more details.
@article{,
author = "K. M. Chandy and J. Misra",
title = "An Example of Stepwise Refinement of Distributed Programs:
Quiescence Detection",
journal = "ACM Transactions on Programming Languages and Systems",
volume = 8,
number = 3,
pages = {326--343},
month = July,
year = 1986
}
@incollection{,
author = "K. M. Chandy and J. Misra",
title = "Proofs of Distributed Algorithms: An Exercise",
booktitle = "Developments in Concurrency and Communication",
editor = "C.A.R. Hoare",
chapter = 11,
pages = {305--332},
year = 1990,
publisher = "Addison-Wesley",
address = "Reading, Massachusetts"
}
@inproceedings{,
author = "K. M. Chandy",
title = "Concurrent Programming for the Masses (1984 Invited Address)",
booktitle = "Proceedings of the 4th ACM Symposium on
the Principles of Distributed Computing",
pages = {1--12},
month = aug,
year = 1985
}
@incollection{,
author = "K. M. Chandy",
title = "Mathematics of Program Construction Applied to Analog
Neural Networks",
booktitle = "Proceedings of the Conference on the Mathematics of
Program Construction, Groningen",
editor = "J. L. A. van de Snepscheut",
pages = {21--35},
month = jun,
year = 1989,
publisher = "Springer-Verlag",
address = "New York"
}
@InProceedings{misra-88a,
author = "J. Misra",
title = "A Foundation of Parallel Programming",
booktitle = "Proceedings of the International Summer School on
Constructive Methods in Computing Science",
month = aug,
year = 1988
}
@inproceedings{,
author = "J. Misra",
title = "Specifications of concurrently accessed data",
booktitle = "Mathematics of program construction",
pages = {90--114},
year = 1989,
comment = "weitere Inferenzregeln fuer unless"
}
@incollection{,
author = "J. Misra",
title = "Specifications of Concurrently Accessed Data",
booktitle = "Proceedings of the Conference on the Mathematics of
Program Construction, Groningen",
editor = "J. L. A. van de Snepscheut",
pages = {91--114},
month = jun,
year = 1989,
publisher = "Springer-Verlag",
address = "New York"
}
@incollection{,
author = "J. Misra",
title = "A Simple Proof of a Simple Consensus Algorithm",
booktitle = "Beauty is Our Business",
chapter = 35,
pages = {312--318},
year = 1990,
publisher = "Springer-Verlag",
address = "New York",
source = "hcc book"
}
@inproceedings{,
author = "J. R. Rao",
title = "Reasoning about Probabilistic Algorithms",
booktitle = "Proceedings of the Ninth Annual ACM Symposium on the
Principles of Distributed Computing",
year = 1990,
organization = ACM
}
@article{,
author = "M. G. Staskauskas",
title = "The Formal Specification and Design of a
Distributed Electronic Funds Transfer System",
journal = IEEETC,
volume = 37,
number = 12,
pages = {1515--1528},
month = dec,
year = 1988
}
@article{,
author = "E. Knapp",
title = "An Exercise in the Formal Derivation of Parallel Programs:
Maximum Flows in Graphs",
journal = "ACM Transactions on Programming Languages and Systems",
volume = 12,
number = 2,
pages = {203--223},
month = apr,
year = 1990,
comment = "Gute knappe Einfuehrung in UNITY; Argumentation ueber weakest
precondition"
}
@techreport{,
author = "E. Knapp",
title = "Derivation of Parallel Programs: Two Examples",
institution = UT,
month = oct,
year = 1988,
number = {TR-90-33}
}
@techreport{,
author = "E. Knapp",
title = "A Comparison of {\em led-from} and {\em leads-to}",
institution = UT,
month = oct,
year = 1988,
number = {TR-88-35}
}
@article{,
author = "E. Knapp",
title = "A Predicate Transformer for Progress",
journal = ipl,
volume = 33,
pages = {323--330},
year = 1989
}
@inproceedings{,
author = "C. S. Jutla and E. Knapp and J. R. Rao",
title = "A Predicate Transformer Approach
to Semantics of Parallel Programs",
booktitle = "8th Annual" # PODC,
pages = {249--263},
year = 1989
}
@inproceedings{,
author = "R. Gerth and A. Pnueli",
title = "{Rooting {\sf UNITY}}",
booktitle = "Proceedings Fifth International Workshop
on Software Specification and Design",
month = may,
year = 1989,
address = "Pittsburgh, Penn."
}
Other work includes:
@techreport{,
author = "Beverly Sanders",
title = "Eliminating the Substitution Axiom from {UNITY} Logic",
institution = {ETH Z\"{u}rich, Departement Informatik},
number = 128,
month = may,
year = 1990
}
@article{,
author = "D. M. Goldschlag",
title = "Mechanically verifying concurrent programs
with the Boyer-Moore prover",
journal = "IEEE Transaction on Software Engineering",
volume = 16,
number = 9,
pages = {1005--1023},
month = sep,
year = 1990
}
@mastersthesis{,
author = "A. Mester" ,
title = "entwurf verteilter Programme mit UNITY",
school = {Universit\"at Dortmund, Fachbereich Informatik},
month = jan,
year = 1991
}
@techreport{,
author = "P. J. A. Lentfert, S. D. Swierstra and A. H. Uittenbogaard",
title = "Distributed Incremental Maximum Finding in Hierarchicaly
Divided Graphs",
institution = "Utrecht University",
month = september,
year = 1990,
number = {RUU-CS-90-30}
}
@inproceedings{,
author = "A. K. Singh",
title = "Program Refinement in Fair Transition Systems",
booktitle = "Conference on Parallel Architectures and Languages Europe",
month = jun,
year = 1991
}
@inproceedings{,
author = "A. K. Singh",
title = "Parallel Programming:
Achieving Portability Through Abstraction",
booktitle = "11th International Conference on
Distributed Computing Systems",
month = may,
year = 1991
}
@article{,
author = "A. K. Singh",
title = "Specification of Concurrent Objects Using Auxiliary Variables",
journal = "Science of Computer Programming",
year = "1991",
note = "to appear"
}
@article{,
author = "A. K. Singh and R. Overbeek",
title = "Derivation of Efficient Parallel Programs:
An Example From Genetic Sequence Analysis",
journal = "International Journal of Parallel Programming",
volume = 18,
number = 6,
pages = {447--484},
month = dec,
year = 1989
}
Here are three which have been built on a Unity-like foundation.
@article{,
author = "G. C. Roman and H. C. Cunningham",
title = "Mixed Programming Metaphors in a Shared
Dataspace Model of Concurrency",
journal = "IEEE Transactions on Software Engineering",
volume = 16,
number = 12,
pages = {1361--1373},
month = dec,
year = 1990
}
@article{,
author = "H. C. Cunningham and G.-C. Roman",
title = "A UNITY-style Programming Logic for Shared Dataspace Programs",
journal = "IEEE Transactions on Parallel and Distributed Systems",
volume = 1,
number = 3,
pages = {365-376},
month = jul,
year = 1990
}
@inproceedings{,
author = "G. C. Roman and H. C. Cunningham",
title = "The Synchronic Group: A Concurrent Programming Concept
and Its Proof Logic",
booktitle = "Proceedings of the 10th International Conference
on Distributed Computing Systems",
publisher = IEEE,
month = may,
year = 1990
}
--
Warren T9000 Oh no!
For Sale Registration Number: H1 WGD
_/-_/ Price: 5,000 pounds ono.