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

" Topology in Process Calculus : "


Document Type : BL
Record Number : 719199
Doc. No : b538890
Main Entry : Mingsheng Ying
Title & Author : Topology in Process Calculus : : Approximate Correctness and Infinite Evolution of Concurrent Programs.\ Mingsheng Ying
Publication Statement : New York: Springer New York, 2001
Page. NO : (225 pages)
ISBN : 1461301238
: : 9781461301233
Contents : Topology in Process Calculus; Copyright; Preface; Contents; 1 Introduction; 2 Process Calculus; 3 Bisimulation and Trace Limits of Agents; 4 Limit Behavior of Agents; 5 Near Bisimulations Defined by Closures; 6 Bisimulation Indexes Induced by Metrics on Actions; 7 Conclusion; References; Index.
LC Classification : ‭QA76.58‬‭M564 2001‬
Added Entry : Mingsheng Ying
copyhttps://lib.clisel.com/site/catalogue/719199
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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