Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008683090/catalog> ?p ?o. }

• catalog abstract "Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.".
• catalog contributor b12164455.
• catalog contributor b12164456.
• catalog contributor b12164457.
• catalog created "2001.".
• catalog date "2001".
• catalog date "2001.".
• catalog dateCopyrighted "2001.".
• catalog description "Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.".
• catalog description "Includes bibliographical references and index.".
• catalog description "L. Nigro, F. Pupo -- Control properties in object-oriented specifications / A. Diagne -- Cooperative petri nets editor / R. Bastide, C. Lakos, and P. Palanque -- Hurried philosophers / C. Sibertin-Blanc.".
• catalog description "Object oriented modeling with object petri nets / C. Lakos -- 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, and N. Guelfi -- CLOWN as a testbed for concurrent object-oriented concepts / E. Battiston, A. Chizzoni, and 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)²: 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. Palanque -- Modeling a groupware editing geometric objects with OBJSA nets / M.A. Alberti, P. Evi, and D. Marini --".
• catalog description "Object-based modular CPN approach: its application to the specification of a cooperative editing environment / D.S. Guerrero, J.C.A. de Figueiredo, and A. Perkusich -- KRON: knowledge engineering approach based on the integration of CPNs with objects / J.A. Bañares [and others] -- Modeling of a library with THORNs / F. Köster [and others] -- 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 -- Actor algebra for specifying distributed systems: the hurried philosophers cast study / M. gaspari, G. Zavattaro -- 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 /".
• catalog extent "viii, 537 p. :".
• catalog identifier "354041942X (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2001".
• catalog issued "2001".
• catalog issued "2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1/17 21".
• catalog subject "Computational complexity.".
• catalog subject "Computer Communication Networks.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Management information systems.".
• catalog subject "Object-oriented programming (Computer science)".
• catalog subject "Parallel processing (Electronic computers)".
• catalog subject "Petri nets.".
• catalog subject "QA76.64 .C6353 2001".
• catalog subject "Software engineering.".
• catalog tableOfContents "L. Nigro, F. Pupo -- Control properties in object-oriented specifications / A. Diagne -- Cooperative petri nets editor / R. Bastide, C. Lakos, and P. Palanque -- Hurried philosophers / C. Sibertin-Blanc.".
• catalog tableOfContents "Object oriented modeling with object petri nets / C. Lakos -- 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, and N. Guelfi -- CLOWN as a testbed for concurrent object-oriented concepts / E. Battiston, A. Chizzoni, and 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)²: 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. Palanque -- Modeling a groupware editing geometric objects with OBJSA nets / M.A. Alberti, P. Evi, and D. Marini --".
• catalog tableOfContents "Object-based modular CPN approach: its application to the specification of a cooperative editing environment / D.S. Guerrero, J.C.A. de Figueiredo, and A. Perkusich -- KRON: knowledge engineering approach based on the integration of CPNs with objects / J.A. Bañares [and others] -- Modeling of a library with THORNs / F. Köster [and others] -- 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 -- Actor algebra for specifying distributed systems: the hurried philosophers cast study / M. gaspari, G. Zavattaro -- 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 /".
• catalog title "Concurrent object-oriented programming and Petri Nets : advances in Petri Nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.).".
• catalog type "Kongress. swd".
• catalog type "text".