𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 7684 || A Petri Net Based Analysis of Deadlocks for Active Objects and Futures

✍ Scribed by Păsăreanu, Corina S.; Salaün, Gwen

Book ID
120389365
Publisher
Springer Berlin Heidelberg
Year
2013
Weight
270 KB
Category
Article
ISBN
3642358616

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Pers
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || A Systematic Approach towards Object-Based Petri Net Formalisms
✍ Bjørner, Dines; Broy, Manfred; Zamulin, Alexandre V. 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 179 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The 4th International Andrei Ershov Memorial Conference, Psi 2001, Held In Akademgorodok, Novosibirsk, Russia, In July 2001. The 50 Revised Papers Presented Together With 2 Invited Memorial Papers Devoted To The Work Of Andrei Ershov

[Lecture Notes in Computer Science] Appl
[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2003 Volume 2679 || A Proposal for Structuring Petri Net-Based Agent Interaction Protocols
✍ van der Aalst, Wil M. P.; Best, Eike 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 343 KB

The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions.