منو
رکورد قبلیرکورد بعدی

" Petri net algebra "


Document Type : BL
Record Number : 736587
Doc. No : b556452
Main Entry : Eike Best; Raymond Devillers; Maciej Koutny
Title & Author : Petri net algebra\ Eike Best; Raymond Devillers; Maciej Koutny
Publication Statement : Berlin Springer, 2010
Series Statement : Monographs in theoretical computer science
Page. NO : XI, 378 Seiten 24 cm
ISBN : 3642086772
: : 9783642086779
Contents : 1. Introduction.- 2. The Petri Box Calculus.- 3. Syntax and Operational Semantics.- 4. Petri Net Semantics.- 5. Adding Recursion.- 6. S-invariants.- 7. The Box Algebra.- 8. PBC and Other Process Algebras.- 9. A Concurrent Programming Language.- 10. Conclusion.- Appendix: Solutions of Selected Exercises.- References.
Subject : Computer science -- Mathematics.
Subject : Parallel processing (Electronic computers)
Subject : Petri nets.
LC Classification : ‭QA76.58‬‭E354 2010‬
Added Entry : Eike Best
: Maciej Koutny
: Raymond Devillers
copyhttps://lib.clisel.com/site/catalogue/736587
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟