Produktbild: Semantics of Systems of Concurrent Processes

Semantics of Systems of Concurrent Processes

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27,1990.Proceedings, Lecture Notes in Computer Science 469

ISBN: 3540534792
ISBN 13: 9783540534792
Herausgeber: Irene Guessarian
Verlag: Springer Verlag GmbH
Umfang: v, 457 S., 6 s/w Illustr., 457 p. 6 illus.
Erscheinungsdatum: 28.11.1990
Auflage: 1/1990
Produktform: Kartoniert
Einband: Kartoniert

InhaltsangabeProcesses as data types: Observational semantics and logic.- Metric pomset semantics for a concurrent language with recursion.- Fault-tolerant naming and mutual exclusion.- Flow event structures and flow nets.- Three equivalent semantics for CCS.- Towards a semantic approach to SIMD architectures and their languages.- Concerning the size of clocks.- Transition systems with algebraic structure as models of computations.- Concurrency and computability.- Causal trees interleaving + causality.- Partially commutative formal power series.- Infinite traces.- Equivalences and refinement.- CCS and petri nets.- About fixpoints for concurrency.- Observers, experiments, and agents: A comprehensive approach to parallelism.- Action versus state based logics for transition systems.- Approaching fair computations by ultra metrics.- On distributed languages and models for distributed computation.

Artikelnummer: 6977811 Kategorie:

Beschreibung

This volume is the proceedings of a 1990 Spring School devoted to the semantics of concurrency. Surveys and tutorials introduce the subject to novices and students and give updates of the state of the art, and research papers present recent achievements in the field.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …