عنوان

Current trends in concurrency :

شابک

3540398279

شابک

9783540398271

شماره

b565995

عنوان اصلي

Current trends in concurrency :

نام عام مواد

[Book]

ساير اطلاعات عنواني

overviews and tutorials

نام نخستين پديدآور

edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

©1986.

نام خاص و کميت اثر

(xii, 716 pages) : illustrations

عنوان فروست

Lecture notes in computer science, 224.

متن يادداشت

Computer science in industry --; Dataflow and education: Data-driven and demand-driven distributed computation --; Contrasting themes in the semantics of imperative concurrency --; Functional programming and the language tale --; Design, specification and validation of hierarchies of protocols in distributed systems --; Infinitary languages: Basic theory and applications to concurrent systems --; The quest goes on: A survey of proofsystems for partial correctness of CSP --; Logic programming: The foundations, the approach and the role of concurrency --; Process theory: Semantics, specification and verification --; Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends --; Petri nets: Basic notions, structure, behaviour --; Concepts for concurrent programming.

موضوع مستند نشده

Parallel processing (Electronic computers)

موضوع مستند نشده

Parallel processing (Electronic computers) -- Congresses.

موضوع مستند نشده

Parallélisme (Informatique) -- Congrès.

مستند نام اشخاص تاييد نشده

edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.

مستند نام اشخاص تاييد نشده

Dutch Concurrency Project.

مستند نام اشخاص تاييد نشده

European Strategic Programme of Research and Development in Information Technology. Project 415.

مستند نام اشخاص تاييد نشده

Grzegorz Rozenberg

مستند نام اشخاص تاييد نشده

J W de Bakker

مستند نام اشخاص تاييد نشده

W -P de Roever

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y