Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!batcomputer!cornell!rochester!pt.cs.cmu.edu!wing
From: wing+@cs.cmu.edu (Jeannette Wing)
Newsgroups: comp.specification
Subject: A Larch interface language for concurrency
Message-ID: <13229@pt.cs.cmu.edu>
Date: 28 May 91 16:29:20 GMT
Organization: Carnegie-Mellon University, CS/RI
Lines: 19
Originator: wing@K.GP.CS.CMU.EDU

"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