For the most recent entries see the
Petri Nets Newsletter.
Keyword: algebraic specifications
-
Hoffmann, Kathrin;
Ehrig, Hartmut;
Mossakowski, Till:
High-Level Nets with Nets and Rules as Tokens.
2005.
-
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.
-
Ehrig, Hartmut;
Gajewsky, Maike;
Wolter, Uwe:
From Abstract Data Types to Algebraic Development Techniques: a Shift of Paradigms.
1998.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography