PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings: 259 (Lecture Notes in Computer Science, 259) - Softcover
Synopsis
Parle Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings Parle Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
"synopsis" may belong to another edition of this title.
Search results for PARLE Parallel Architectures and Languages Europe:...
Stock Image
PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Lecture Notes in Computer Science, 259)
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.3540179453.G
Stock Image
PARLE - Parallel Architectures and Languages Europe Vol. 2 : Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987 - Proceedings
Published by
Springer Berlin / Heidelberg, 1987
ISBN 10: 3540179453
ISBN 13: 9783540179450
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 56767247-20
Buy Used
£ 42.52
£ 5 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Lecture Notes in Computer Science, 259)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540179450_new
Buy New
£ 48.75
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
PARLE Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540179450
Buy New
£ 45.78
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
PARLE Parallel Architectures and Languages Europe
Published by
Springer Berlin Heidelberg Mai 1987, 1987
ISBN 10: 3540179453
ISBN 13: 9783540179450
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 484 pp. Englisch. Seller Inventory # 9783540179450
Seller Image
Parle Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5899024-n
Seller Image
Parle Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5899024
Seller Image
PARLE Parallel Architectures and Languages Europe
Published by
Springer Berlin Heidelberg, 1987
ISBN 10: 3540179453
ISBN 13: 9783540179450
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 f. Seller Inventory # 4883597
Buy New
£ 40.24
£ 41.85 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
PARALLEL ARCHITECTURES AND LANGUAGES EUROPE
Published by
Springer, Berlin, 1987
ISBN 10: 3540179453
ISBN 13: 9783540179450
Used
Taschenbuch oder Softcover
Seller: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, Germany
Seller rating 5 out of 5 stars
Taschenbuch oder Softcover. Condition: Gut. Zustand: GUTER Zustand. HC1-106-2/8-00118701 Sprache: Englisch Gewicht in Gramm: 798. Seller Inventory # 45361
Seller Image
PARLE Parallel Architectures and Languages Europe
Published by
Springer, Springer Mai 1987, 1987
ISBN 10: 3540179453
ISBN 13: 9783540179450
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 484 pp. Englisch. Seller Inventory # 9783540179450