N. De Francesco, U. Montanari, and G. Ristori. Modelling concurrent accesses to shared data via petri nets. In Proc. of the IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'94), 1994.  Home/Search   Document Not in Database   Summary   Related Articles

....usual concurrent semantics for C E systems coincides with their schema semantics, i.e. that two firings yield the same result for all possible interpretations of the net if and only if they correspond to the same process. This same treatment and results have been extended to contextual nets in [FMR94], and for contextual P T nets in [Ris94] where such notion of nets have been defined based on the development of this paper. This line of research based on nets with contexts (either C E or P T) is very important, since it allows to give a suitable theory to most models of computation based on a ....

N. De Francesco, U. Montanari, and G. Ristori. Modelling concurrent accesses to shared data via petri nets. In Proc. of the IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'94), 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