Interacting processes : a multiparty approach to coordinated distributed programming
著者
書誌事項
Interacting processes : a multiparty approach to coordinated distributed programming
(ACM Press books)
Addison-Wesley, c1996
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 219-229
Includes index
内容説明・目次
内容説明
This text presents a methodology for the design of distributed parallel programs in general, and reactive systems in particular. It also presents a defined notation (IP) for expressing the design of reactive systems and an accompanying design method.
「Nielsen BookData」 より