دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings
دانلود کتاب CONCUR '94: Concurrency Theory: پنجمین کنفرانس بین المللی اوپسالا، سوئد، 22-25 اوت 1994 مجموعه مقالات
مشخصات کتاب
CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings
ویرایش: نویسندگان: Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.) سری: Lecture Notes in Computer Science 836 ISBN (شابک) : 9783540583295, 9783540486541 ناشر: Springer Berlin Heidelberg سال نشر: 1994 تعداد صفحات: IX, 529 pp. [539] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CONCUR '94: Concurrency Theory: پنجمین کنفرانس بین المللی اوپسالا، سوئد، 22-25 اوت 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CONCUR '94: Concurrency Theory: پنجمین کنفرانس بین المللی اوپسالا، سوئد، 22-25 اوت 1994 مجموعه مقالات
این جلد مجموعه مقالات پنجمین کنفرانس بین المللی نظریه همزمانی،
CONCUR '94 است که در اوپسالا، سوئد در آگوست 1994 برگزار
شد.
در مجموع، 29 مقاله پژوهشی داور انتخاب شده از 108 مقاله ارسالی
برای کنفرانس همراه با مقالات کامل ارائه شده است. یا چکیده 5
سخنرانی دعوت شده توسط سخنرانان برجسته. این کتاب حاوی نتایج اخیر
در مورد تمام جنبه های مرتبط تحقیقات همزمانی است و بنابراین
پیشرفت این رشته را از کنفرانس قبلی CONCUR '93 که مجموعه مقالات
آن با عنوان LNCS 715 منتشر شده است، به خوبی مستند می کند.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the proceedings of the Fifth
International Conference on Concurrency Theory, CONCUR '94,
held at Uppsala, Sweden in August 1994.
In total, 29 refereed research papers selected from 108
submissions for the conference are presented together with full
papers or abstracts of the 5 invited talks by prominent
speakers. The book contains recent results on all relevant
aspects of concurrency research and thus competently documents
the progress of the field since the predecessor conference
CONCUR '93, the proceedings of which are published as LNCS 715.
فهرست مطالب
Content:
Front Matter....Pages -
Geometry of interaction (abstract)....Pages 1-1
A compositional semantics for statecharts using labeled transition systems....Pages 2-17
On the decidability of non-interleaving process equivalences....Pages 18-33
Regularity of BPA-systems is decidable....Pages 34-47
A fast algorithm for deciding bisimilarity of normed context-free processes....Pages 48-63
Model-based verification methods and tools (abstract)....Pages 64-64
New results on the analysis of concurrent systems with an indefinite number of processes....Pages 65-80
Verification of nonregular temporal properties for context-free processes....Pages 81-97
Pushdown processes: Parallel composition and model checking....Pages 98-113
Local model checking for parallel compositions of context-free processes....Pages 114-128
The logical structure of concurrent constraint programming languages....Pages 129-129
Countable non-determinism and uncountable limits....Pages 130-145
SProc categorically....Pages 146-159
Prom timed graphs to hybrid automata....Pages 160-160
Hierarchical models of synchronous circuits....Pages 161-161
The observational power of clocks....Pages 162-177
A dynamic approach to timed behaviour....Pages 178-193
Algebras of processes of timed Petri nets....Pages 194-209
Operational semantics for the Petri Box Calculus....Pages 210-225
Weak sequential composition in process algebras....Pages 226-241
Efficient parallelism vs reliable distribution: A trade-off for concurrent computations....Pages 242-266
On unifying Assumption-Commitment style proof rules for concurrency....Pages 267-282
Liveness and fairness in Duration Calculus....Pages 283-298
A symbolic semantics for the π-calculus — Extended abstract....Pages 299-314
On Bisimulation in the π-calculus....Pages 315-330
Characterizing bisimulation congruence in the π-Calculus....Pages 331-350
The limit view of infinite computations....Pages 351-366
Trace refinement of action systems....Pages 367-384
Bisimulation for models in concurrency mogens nielsen and christian clausen....Pages 385-400
Invariants in process algebra with data....Pages 401-416
Testing-based abstractions for value-passing systems....Pages 417-432
A congruence theorem for structured operational semantics with predicates and negative premises....Pages 433-448
Deriving complete inference systems for a class of GSOS languages generating regular behaviours....Pages 449-464
Process algebra with partial choice....Pages 465-480
Probabilistic simulations for probabilistic processes....Pages 481-496
Fully abstract characterizations of testing preorders for probabilistic processes....Pages 497-512
Composition and behaviors of probabilistic I/O automata....Pages 513-528
Back Matter....Pages -
