Modelling Concurrent Accesses to Shared Data via Petri Nets

Nicoletta De Francesco, Ugo Montanari, Gioia Ristori. Modelling Concurrent Accesses to Shared Data via Petri Nets. In Ernst-RĂ¼diger Olderog, editor, Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994. Volume A-56 of IFIP Transactions, pages 403-422, North-Holland, 1994.

Authors

Nicoletta De Francesco

This author has not been identified. Look up 'Nicoletta De Francesco' in Google

Ugo Montanari

This author has not been identified. Look up 'Ugo Montanari' in Google

Gioia Ristori

This author has not been identified. Look up 'Gioia Ristori' in Google