The Resource Concurrent object-oriented programming and Petri nets : advances in Petri nets, Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)

Concurrent object-oriented programming and Petri nets : advances in Petri nets, Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)

Label
Concurrent object-oriented programming and Petri nets : advances in Petri nets
Title
Concurrent object-oriented programming and Petri nets
Title remainder
advances in Petri nets
Statement of responsibility
Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.64
LC item number
.C6353 2001
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Agha, Gul A
  • De Cindio, Fiorella
  • Rozenberg, Grzegorz
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Parallel processing (Electronic computers)
  • Petri nets
  • programme concurrent
  • réseau Petri
  • programmation par objets
  • Programmation orientée objet (Informatique)
  • Parallélisme (Informatique)
  • Pétri, Réseaux de
  • Object-oriented programming (Computer science)
  • Parallel processing (Electronic computers)
  • Petri nets
  • Object-georiënteerd programmeren
  • Petri netwerken
  • Programmation orientée objets (informatique)
  • Petri, Réseaux de
  • Parallélisme (informatique)
  • Nebenläufigkeit
  • Petri-Netz
  • Objektorientierte Programmierung
Label
Concurrent object-oriented programming and Petri nets : advances in Petri nets, Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 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è
  • Object oriented modeling with object petri nets
  • 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
  • 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]
  • C. Lakos
  • 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
  • Using petri nets for specifying active objects and generative communication
  • 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
  • Cooperative petri nets editor
  • R. Bastide, C. Lakos, and P. Palanque
  • Hurried philosophers
  • C. Sibertin-Blanc
  • 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
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 537 pages
Isbn
9783540419426
Isbn Type
(pbk. : alk. paper)
Lccn
2001020980
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)46641800
  • (OCoLC)ocm46641800
Label
Concurrent object-oriented programming and Petri nets : advances in Petri nets, Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 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è
  • Object oriented modeling with object petri nets
  • 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
  • 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]
  • C. Lakos
  • 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
  • Using petri nets for specifying active objects and generative communication
  • 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
  • Cooperative petri nets editor
  • R. Bastide, C. Lakos, and P. Palanque
  • Hurried philosophers
  • C. Sibertin-Blanc
  • 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
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 537 pages
Isbn
9783540419426
Isbn Type
(pbk. : alk. paper)
Lccn
2001020980
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)46641800
  • (OCoLC)ocm46641800

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...