Re: Request for ADT spec Info

• To: pairoj@noguchi.riec.tohoku.ac.jp (termsinsuwan pairoj)
• Subject: Re: Request for ADT spec Info
• From: horning
• Date: Wed, 05 Jan 94 17:37:55 -0800
• Cc: horning
• Delivery-Date: Wed, 05 Jan 94 17:37:58 -0800
• In-Reply-To: Message of 5 Jan 94 12:12:41

You might be interested both in the specifications in the book

    Larch: Languages and Tools for Formal Specification
    John V. Guttag, et al.
    Springer-Verlag Texts and Monographs in Computer Science, 1993
    ISBN 0-387-94006-5, ISBN 3-540-94006-5

and in Appendix E, a Classified Bibliography, which gives references for a
number of other documents containing Larch specifications.

Appendix E is also available by anonymous FTP from node larch.lcs.mit.edu as
/pub/larch-bib/larch-bib.tex.  Contact: ymtan@lcs.mit.edu.

Jim H.

• Prev: FWD: Looking for an LSL specification of a "transit node"
• Next: Request for ADT spec Info
• Index: Larch archive index