wing+@cs.cmu.edu (Jeannette Wing) (05/28/91)
"Specifying Objects of Concurrent Systems" Richard A. Lerner, Ph.D. thesis, May 1991. Describes the design and semantics of a a Generic Concurrent Interface Language (GCIL) with many examples applied to transaction-based distributed computing. A syntax and type checker for GCIL is also available by ftp. It interfaces with the LSL checker. Contact Karen Kietzke (ky@cs.cmu.edu) for details. Followup-To: Jeannette Wing (wing@cs.cmu.edu) Distribution: world Organization: School of Computer Science, Carnegie Mellon Keywords: Larch, interface language, concurrency, Lamport's transition axioms, specification tools