Del i serien Lecture Notes in Computer Science

PARLE Parallel Architectures and Languages Europe

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

Häftad, Engelska, 1987

AvJacobus W. de Bakker,A.J. Nijman,Philip C. Treleaven

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1987-05-01
Mått216 x 279 x 27 mm
Vikt727 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor468
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540179450

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programspråk inom Data och IT

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.

Du kanske också är intresserad av

PARLE Parallel Architectures and Languages Europe

Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven

Häftad, 1987

699 kr

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

Häftad, 1989

1 479 kr

Future Parallel Computers

Philip C. Treleaven, Marco Vanneschi

Häftad, 1987

739 kr

Current Trends in Concurrency

Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg

Häftad, 1986

1 479 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Sarah J. Maas - A Court of Splintered Harmony, Häftad

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Del 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr

Del i serien Lecture Notes in Computer Science

PARLE Parallel Architectures and Languages Europe

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

Häftad, Engelska, 1987

AvJacobus W. de Bakker,A.J. Nijman,Philip C. Treleaven

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1987-05-01
Mått216 x 279 x 27 mm
Vikt727 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor468
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540179450

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programspråk inom Data och IT

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.

Du kanske också är intresserad av

PARLE Parallel Architectures and Languages Europe

Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven

Häftad, 1987

699 kr

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

Häftad, 1989

1 479 kr

Future Parallel Computers

Philip C. Treleaven, Marco Vanneschi

Häftad, 1987

739 kr

Current Trends in Concurrency

Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg

Häftad, 1986

1 479 kr

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Del 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr

PARLE Parallel Architectures and Languages Europe

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

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

PARLE Parallel Architectures and Languages Europe

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

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

PARLE Parallel Architectures and Languages Europe

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

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av