The SCEAS System
Navigation Menu

Conferences in DBLP

Concurrent Object-Oriented Programming and Petri Nets (cooppn)
2001 (conf/cooppn/2001)

  1. Charles Lakos
    Object Oriented Modeling with Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:1-37 [Conf]
  2. Tom Holvoet, Pierre Verbaeten
    Using Petri Nets for Specifying Active Objects and Generative Communication. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:38-72 [Conf]
  3. O. Biberstein, Didier Buchs, Nicolas Guelfi
    Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:73-130 [Conf]
  4. Eugenio Battiston, A. Chizzoni, Fiorella de Cindio
    CLOWN as a Testbed for Concurrent Object-Oriented Concepts. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:131-163 [Conf]
  5. Rüdiger Valk
    Concurrency in Communicating Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:164-195 [Conf]
  6. Xudong He, Yingjia Ding
    Object Orientation in Hierarchical Predicate Transition Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:196-215 [Conf]
  7. Christophe Sibertin-Blanc
    CoOperative Objects: Principles, Use and Implementation. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:216-246 [Conf]
  8. Johan Lilius
    OB(PN)2: An Object Based Petri Net Programming Notation. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:247-275 [Conf]
  9. Luciano Baresi, Mauro Pezzè
    On Formalizing UML with High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:276-304 [Conf]
  10. Rémi Bastide, Philippe A. Palanque
    Modeling a Groupware Editing Tool with Cooperative Objects. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:305-318 [Conf]
  11. Maria Alberta Alberti, Paolo Evi, Daniele Marini
    Modeling Constrained Geometric Objects with OBJSA Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:319-227 [Conf]
  12. Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
    An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:338-354 [Conf]
  13. José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel, F. J. Zarazaga
    KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:355-374 [Conf]
  14. Frank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting
    Modeling of a Library with THORNs. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:375-390 [Conf]
  15. Twan Basten, Wil M. P. van der Aalst
    Inheritance of Dynamic Behavior: Development of a Groupware Editor. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:391-405 [Conf]
  16. Christoph Maier, Daniel Moldt
    Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:406-427 [Conf]
  17. Mauro Gaspari, Gianluigi Zavattaro
    An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:428-444 [Conf]
  18. Susanne Schacht
    Formal Reasoning about Actor Programs Using Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:445-460 [Conf]
  19. Franz Puntigam
    Flexible Types for a Concurrent Model. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:461-472 [Conf]
  20. François Vernadat, Pierre Azéma
    High Level Transition Systems for Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:473-492 [Conf]
  21. Libero Nigro, Francesco Pupo
    Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:493-513 [Conf]
  22. A. Diagne
    Control Properties in Object-Oriented Specifications. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:514-533 [Conf]
  23. Rémi Bastide, Charles Lakos, Philippe A. Palanque
    A Cooperative Petri Net Editor. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:534-535 [Conf]
  24. Christophe Sibertin-Blanc
    The Hurried Philosophers. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:536-538 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002