PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings: 259 (Lecture Notes in Computer Science) - Softcover

De Bakker, Jacobus W.; Treleaven, Philip C.; Nijman, A.J.

9783540179450: PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings: 259 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 3540179453 ISBN 13: 9783540179450

Verlag: Springer, 2008

Alle Exemplare dieser ISBN-Ausgabe

2 Gebraucht

Von EUR 29,44

2 Neu

Von EUR 50,28

Details zur Ausgabe

Verlag: Springer
Erscheinungsdatum: 2008
Sprache: Englisch
ISBN 10: 3540179453
ISBN 13: 9783540179450
Einband: Tapa blanda
Anzahl der Seiten: 484
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Suchergebnisse f�r PARLE Parallel Architectures and Languages Europe:...

Foto des Verk�ufers

PARLE Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings

Jacobus W. De Bakker

Verlag: Springer Berlin Heidelberg, 1987

ISBN 10: 3540179453 ISBN 13: 9783540179450

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- 'Ruth: A functional language for real-time programming'.- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1. Artikel-Nr. 9783540179450

Verk�ufer kontaktieren