Bild 1 von 1

Standardbild

PARLE Parallel Architectures and Languages Europe Jacobus W. De Bakker - Bild 1 von 1

Parle Parallel Architectures And Languages Europe von Jacobus W. de Bakker Philip C. Treleaven A. J. Nijman (1987, Taschenbuch)

buch-mimpf (20339)

100% positive Bewertungen

Preis:

€ 50,28

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Do, 11. Sep - Sa, 13. Sep

Rücknahme:

1 Monat Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Titel: PARLE Parallel Architectures and Languages Europe, Untertitel: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings, Einband: Taschenbuch, Autor: Jacobus W. De Bakker, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 484, Maße: 235x155x27 mm, Gewicht: 727 g, Verkäufer: buch-mimpf, Schlagworte: Ada Functional Programming Prolog Semantics computer computer architecture parallel computer.

Sammeln Sie 50 Punkte | Mehr erfahrenzu eBay Plus-Punkten - wird in neuem Fenster oder Tab geöffnet

Über dieses Produkt

Produktinformation

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.