For the most recent entries see the Petri Nets Newsletter.

A Distributed Semantics for a IWIM-Based Coordination Language.

Buffo, Mathieu; Buchs, Didier

In: : Coordination Languages and Models, Third International Conference (COORDINATION '99), Amsterdam, The Netherlands, April 1999, pages 1-415pp. Springer Verlag, LNCS 1594, 1999.

Abstract: CO-OPN/2 is a formal language allowing the modelling of object-oriented software systems. A CO-OPN/2 model is composed of three kinds of entities, modelling three different parts of the global description, by three different formal semantics: [...]

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography