著者
Richard Allen Lerner
タイトル
Specifying Objects of Concurrent Systems
日時
May 1991
カテゴリ
CMUTR
Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-131
Bibtype: TechReport
Author: Richard Allen Lerner
Month: may
Title: Specifying Objects of Concurrent Systems
Year: 1991
Key: Formal specification languages, concurrent systems,
        transaction-based systems
Address: Pittsburgh, PA