Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism-Reference-Cited by-同舟云学术

Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism

Published:2001 Issue: Volume: Page:73-130
ISSN:0302-9743
Container-title:Concurrent Object-Oriented Programming and Petri Nets
language:
Short-container-title:

Author:

Biberstein Olivier,Buchs Didier,Guelfi Nicolas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45397-0_3

Reference18 articles.

1. Lect Notes Comput Sci;P. America,1987

2. Pierre America. A behavioural approach to subtyping in object-oriented programming languages. Technical Report 443, Philips Research Laboratories, Nederlandse Philips Bedrijven B. V., April 1989. Revised from the January 1989 version.

3. E. Battiston, A. Chizzoni, and F. De Cindio. Inheritance and concurrency in CLOWN. In Proceedings of the “Application and Theory of Petri Nets 1995” workshop on “Object-Oriented Programming and Models of Concurrency”, Torino, Italy, June 1995.

4. Olivier Biberstein. CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva, July 1997.

5. Olivier Biberstein, Didier Buchs, and Nicolas Guelfi. CO-OPN/2 applied to the modeling of cooperative structured editors. Tech. Report 96/184, Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory, Lausanne, Switzerland, 1996.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets;Transactions on Petri Nets and Other Models of Concurrency XIII;2018

2. Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies;Transactions on Petri Nets and Other Models of Concurrency X;2015

3. A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING;International Journal of Software Engineering and Knowledge Engineering;2013-06

4. Unifying the Semantics of Modular Extensions of Petri Nets;Application and Theory of Petri Nets and Concurrency;2013

5. High-Level Petri Nets with Object-Orientation – A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism;Studies in Computational Intelligence;2010