close
1.

図書

図書
edited by Gul Agha, Peter Wegner, and Akinori Yonezawa
出版情報: Cambridge, Mass. : MIT Press, c1993  xii, 532 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Summary of Papers
Language Issues / I:
Abstraction and Modularity Mechanisms for Concurrent Computing / Gul Agha ; Svend Frolund ; WooYoung Kim ; Rajendra Panwar ; Anna Patterson ; Daniel M. Sturman1:
Tradeoffs between Reasoning and Modeling / Peter Wegner2:
A Survey of Logic Programming-Based Object-Oriented Language / Andrew J. Davison3:
Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages / Satoshi Matsuoka ; Akinori Yonezama4:
Composing Active Objects / Oscar Nierstrasz5:
Programming Constructs / II:
Supporting Modularity in Highly-Parallel Programs / Andrew A. Chien6:
Multiple Concurrency Control Policies in an Object-Oriented Programming System / Gail E. Kaiser ; Wenwey Hseush ; Steven S. Popovich ; Shyhtsun F. Wu7:
Ports for Objects in Concurrent Logic Programs / Sverker Janson ; Johan Montelius ; Seif Haridi8:
Language Design / III:
Specifying Concurrent Languages and Systems with ?-GRAMMARS / Simon M. Kaplan ; Joseph P. Loyall ; Steven K. Goering9:
Interaction / 10:
Abstract Machines / Jean-Marc Andreoli ; Paolo Ciancarini ; Remo Pareschi
CC++: A Declarative Concurrent Object-Oriented Programming Notation / K. Mani Chandy ; Carl Kesselman11:
A Logical Theory of Concurrent Objects and Its Realization in the Maude Language / Jose Meseguer12:
Operating Systems / IV:
CHOICES: A Parallel Object-Oriented Operating System / Roy H. Campbell ; Nayeem Islam13:
Performance Monitoring / V:
Monitoring Concurrent Object-Based Programs / Bruce A. Delagi ; Nakul P. Saraiya ; Sayuri Nishimura15:
Contributors
Name Index
Subject Index
Preface
Summary of Papers
Language Issues / I:
2.

図書

図書
Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001  viii, 537 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2001
所蔵情報: loading…
目次情報: 続きを見る
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
CLOWN as a Testbed for Concurrent Object-Oriented Concepts / E. Battiston ; A. Chizzoni ; F. De Cindio
Concurrency in Communicating Object Petri Nets / R. Valk
Object Orientation in Hierarchical Predicate Transition Nets / X. He ; Y. Ding
CoOperative Objects: Principles, Use and Implementation / C. Sibertin-Blanc
OB(PN)2: An Object Based Petri Net Programming Notation / J. Lilius
On Formalizing UML with High-Level Petri Nets / L. Baresi ; M. Pezzè
Modeling a Groupware Editing Tool with Cooperative Objects / R. Bastide ; P. PalanqueSection II:
Modeling Constrained Geometric Objects with OBJSA Nets / M. A. Alberti ; P. Evi ; D. Marini
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment / D. S. Guerrero ; J. C. A. de Figueiredo ; A. Perkusich
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects / J. A. Bañares ; P. R. Muro-Medrano ; J. L. Villarroel ; F. J. Zarazaga
Modeling of a Library with THORNs / F. Köster ; S. Schöf ; M. Sonnenschein ; R. Wieting
Inheritance of Dynamic Behavior: Development of a Groupware Editor / T. Basten ; W. M. P. van der Aalst
Object Colored Petri Nets - A Formal Technique for Object Oriented Modeling / C. Maier ; D. Moldt
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study / M. Gaspari ; G. ZavattaroSection III:
Formal Reasoning about Actor Programs Using Temporal Logic / S. Schacht
Flexible Types for a Concurrent Model / F. Puntigam
High Level Transition Systems for Communicating Agents / F. Vernadat ; P. Azéma
Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets / L. Nigro ; F. Pupo
Control Properties in Object-Oriented Specifications / A. Diagne
Case Studies / Section IV:
A Cooperative Petri Net Editor
The Hurried Philosophers
Author Index
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼