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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.