PARLE Parallel Architectures and Languages Europe Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
-
- Englisch ausgewählt
-
Auflage:1987
- 1987 47,99 €
- 1987 47,99 € ausgewählt
47,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.05.1987
Abbildungen
XVI, 468 p.
Herausgeber
Jacobus W. de Bakker + weitereVerlag
Springer BerlinSeitenzahl
468
Maße (L/B/H)
23,5/15,5/2,7 cm
Gewicht
727 g
Auflage
1987
Sprache
Englisch
ISBN
978-3-540-17945-0
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice