Skip to main content

Net Models for Concurrent Object Behaviour

Tony Hoare

Book Title
Application and Theory of Petri Nets − 33rd International Conference‚ PETRI NETS 2012‚ Hamburg‚ Germany‚ June 25−29‚ 2012. Proceedings
Editor
Serge Haddad and Lucia Pomello
Pages
1−2
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7347
Year
2012