C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Concurrent Object-Oriented Programming and Petri Nets
2001
2001
2001
Keyphrases
Publications
2001
Christoph Maier
,
Daniel Moldt
Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Rémi Bastide
,
Charles Lakos
,
Philippe A. Palanque
A Cooperative Petri Net Editor.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Susanne Schacht
Formal Reasoning about Actor Programs Using Temporal Logic.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Franz Puntigam
Flexible Types for a Concurrent Model.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Eugenio Battiston
,
A. Chizzoni
,
Fiorella de Cindio
CLOWN as a Testbed for Concurrent Object-Oriented Concepts.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Xudong He
,
Yingjia Ding
Object Orientation in Hierarchical Predicate Transition Nets.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Luciano Baresi
,
Mauro Pezzè
On Formalizing UML with High-Level Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Mauro Gaspari
,
Gianluigi Zavattaro
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
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.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Rémi Bastide
,
Philippe A. Palanque
Modeling a Groupware Editing Tool with Cooperative Objects.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
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.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Johan Lilius
: An Object Based Petri Net Programming Notation.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Christophe Sibertin-Blanc
CoOperative Objects: Principles, Use and Implementation.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Christophe Sibertin-Blanc
The Hurried Philosophers.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Maria Alberta Alberti
,
Paolo Evi
,
Daniele Marini
Modeling Constrained Geometric Objects with OBJSA Nets.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Rüdiger Valk
Concurrency in Communicating Object Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
O. Biberstein
,
Didier Buchs
,
Nicolas Guelfi
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Frank Köster
,
Stefan Schöf
,
Michael Sonnenschein
,
Ralf Wieting
Modeling of a Library with THORNs.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
A. Diagne
Control Properties in Object-Oriented Specifications.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Tom Holvoet
,
Pierre Verbaeten
Using Petri Nets for Specifying Active Objects and Generative Communication.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
François Vernadat
,
Pierre Azéma
High Level Transition Systems for Communicating Agents.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Libero Nigro
,
Francesco Pupo
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Charles Lakos
Object Oriented Modeling with Object Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Twan Basten
,
Wil M. P. van der Aalst
Inheritance of Dynamic Behavior: Development of a Groupware Editor.
Concurrent Object-Oriented Programming and Petri Nets
(2001)