N. Guelfi, "Les Réseaux Algébriques Hiérarchiques: un formalisme de spécifications structurées pour le développement de systèmes concurrents", PhD thesis, Université d'Orsay Paris XI, 1994. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Evolutive Prototyping of Heterogeneous Distributed Systems.. - Buchs, Hulaas (1996) (2 citations) (Correct)
....interpretation of the Petri nets as a synchronous Petri nets model. But, concerning the methods offered by CO OPN objects, the objective is to have a convenient way of abstracting away the behaviour of external components. This modelling facility is also supported by a solid formal basis [14]. In distributed systems, however, synchrony is difficult to 1. To our knowledge, only Delta Prolog [20] and CS Prolog [13] offer built in distributed backtracking. 1. Here synchronous is not taken in the sense of blocking method calls. simulate, because of the lack of absolute time reference and ....
N. Guelfi, "Les Réseaux Algébriques Hiérarchiques: un formalisme de spécifications structurées pour le développement de systèmes concurrents", PhD thesis, Université d'Orsay Paris XI, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC