For the most recent entries see the
Petri Nets Newsletter.
Keyword: CO-OPN/2
-
Buchs, D.;
Buffo, M.:
Rapid prototyping of formally modeled distributed systems.
1999.
-
Di Marzo Serugendo, G.;
Guelfi, N.;
Romanovsky, A.;
Zrozo, A.F.:
Formal development and validation of Java dependable distributed systems.
1999.
-
Di Marzo Serugendo, G.;
Guelfi, N.:
Formal development of Java based Web parallel applications.
1998.
-
Di Marzo Serugendo, G.;
Guelfi, N.:
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study.
1998.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography