A Larch interface language for concurrency

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Jeannette Wing Tue, 28 May 1991 16:29

#428

Author: Jeannette Wing
Date: Tue, 28 May 1991 16:29

18 lines
1060 bytes

"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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads