[comp.specification] A Larch interface language for concurrency

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