عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540602186
شابک
9783540602187
شماره کتابشناسی ملی
شماره
b560057
عنوان و نام پديدآور
عنوان اصلي
CONCUR '95 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings
نام نخستين پديدآور
Insup Lee, Scott A. Smolka, eds.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1995.
مشخصات ظاهری
نام خاص و کميت اثر
x, 545 pages : illustrations ; 24 cm
فروست
عنوان فروست
Lecture notes in computer science, 962.
یادداشتهای مربوط به مندرجات
متن يادداشت
Local Model Checking Games / C. Stirling --;Compositional Proof Systems for Model Checking Infinite State Processes / M. Dam --;Compositional Model Checking of Real Time Systems / F. Laroussinie and K.G. Larsen --;Checking Bisimilarity for Finitary [pi]-Calculus / U. Montanari and M. Pistore --;The Weak Late [pi]-Calculus Semantics as Observation Equivalence / G.-L. Ferrari, U. Montanari and P. Quaglia --;The Fixpoint-Analysis Machine / B. Steffen, A. Classen, M. Klein, J. Knoop and T. Margaria --;Unique Fixpoint Induction for Mobile Processes / H. Lin --;A Polymorphic Type System for the Polyadic [pi]-Calculus / X. Liu and D. Walker --;Fibrational Control Structures / C. Hermida and J. Power --;Fully Abstract Models for Nondeterministic Regular Expressions / F. Corradini, R. De Nicola and A. Labella --;A Petri Net Semantics for [pi]-Calculus / N. Busi and R. Gorrieri --;A Complete Theory of Deterministic Event Structures / A. Rensink.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Parallel processing (Electronic computers)
موضوع مستند نشده
Parallel processing (Electronic computers) -- Congresses.
موضوع مستند نشده
Parallélisme (Informatique) -- Congrès.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Insup Lee, Scott A. Smolka, eds.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Insup Lee
مستند نام اشخاص تاييد نشده
Scott A Smolka
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
