Menu
Află starea comenzii
Contactați-ne
Carte NAPAW 92 S. Purushothaman

NAPAW 92

Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

Autor: S. Purushothaman, Amy Zwarico
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.72 lei
This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, N...

Informații despre carte

Autor
S. Purushothaman, Amy Zwarico
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1993
Pagini
243
EAN
9783540198222
ISBN
3540198229
Enbook ID
02172584
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
391
Dimensiuni
155 x 235 x 16

Descriere completă

This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the first in a proposed series of workshops, intended to increase awareness of process algebras in the United States and Canada, and to promote their use and development. The workshop was held simultaneously with CONCUR 92, the annual conference on concurrency theories. It provided an important forum for the discussion and exchange of ideas, and allowed recent developments in the application of algebraic techniques to concurrency theory to be presented. The resulting volume provides a good cross-section of current research work in Canada, USA and Europe. Among the specific topics covered are: real-time calculi and expansion theorems; modal logics in timed process algebra; process communication environment; a process calculus with incomparable priorities; exception handling in process algebra; bisimulations on observation structures; computing ready simulations efficiently; analysis of value-passing CCS agents with infinite sorts; an extension of the testing method for processes passing infinite values; constructive semantics; a causality-based semantics for CCS. NAPAW 92 provides an comprehensive overview of this important, up-and-coming area of computer science. It will provide essential reading for both postgraduate students and researchers in industry and academia.

S-ar putea să te intereseze

Principles of Molecular Rheumatology

George C. Tsokos
1 566.46 lei

Photosensitizers in Medicine, Environment, and Security

Tebello Nyokong
1 102.18 lei

Internal Structure of U. S. Consumption Expenditures

Lester D. Taylor
551.94 lei

Worlds of Written Discourse

Vijay Bhatia
1 205.08 lei

Hermeneutics, the Bible and Literary Criticism

Ann Loades
892.84 lei

Heritage of the Desert

Zane Grey
136.79 lei

Mathamagical: An Alice in Wonderland Styled Tale Set in the World of Mathematics

Colin Davies
80.70 lei

Composer's Guide to Game Music

Winifred Phillips
119.14 lei

BDSM Positions: Dominant Positions for Beginners

Stefan Ziglar
84.23 lei

Clienții care au cumpărat această carte au mai cumpărat și

Briefwechsel mit Friedrich Ernst Fehsenfeld. Bd.2

Dieter Sudhoff
135.08 lei

Bader und Badewesen in Vergangenheit und Gegenwart

Julian Marcuse
137.60 lei

OS Vampiros de Mira Vento: Contos

Nivea Sabino
55.28 lei

Ghost town

Gennaro Pagano
53.96 lei

RESSUSCITER

BOBIN
438.85 lei

COMO CONSEGUIR TRABAJO

BECASSINO
52.96 lei