Record: found
Abstract: not found
Book Chapter: not found

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures

other

Author(s): Frank S. de Boer , Mario Bravetti , Immo Grabe , Matias Lee , Martin Steffen , Gianluigi Zavattaro

Publication date (Print): 2013

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 13

Record: found
Abstract: not found
Article: not found

System Deadlocks

E. Coffman, M. Elphick, A. Shoshani (1971)

0 comments Cited 62 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

A Theory of Objects

Martín Abadi, Luca Cardelli (1996)

0 comments Cited 50 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Scala Actors: Unifying thread-based and event-based programming

Martin Odersky, Philipp Haller (2009)

0 comments Cited 37 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 110-127

DOI: 10.1007/978-3-642-35861-6_7

SO-VID: b58a009e-b133-48c6-aea3-5cab1fad843c

History

Data availability:

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures

Read this book at

Related collections

Ecclesial Futures

Most cited references 13

System Deadlocks

A Theory of Objects

Scala Actors: Unifying thread-based and event-based programming

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,635

Cited by 7