Items related to Seminar on Concurrency: Carnegie-Mellon University...
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984: 197 (Lecture Notes in Computer Science, 197) - Softcover
- PublisherSpringer
- Publication date1985
- ISBN 10 3540156704
- ISBN 13 9783540156703
- BindingPaperback
- Number of pages536
- EditorBrookes Stephen D., Roscoe Andrew W., Winskel Glynn
Top Search Results from the AbeBooks Marketplace
Seller Image
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science (197)) by Winskel, Glynn, Roscoe, Andrew W., Brookes, Stephen D. [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540156703
Buy New
£ 45.84
Convert currency
Stock Image
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science, 197)
Published by
Springer
(1985)
ISBN 10: 3540156704
ISBN 13: 9783540156703
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020160703
Buy New
£ 48.50
Convert currency
Stock Image
Seminar on Concurrency : Carnegie-Mellon University Pittsburgh; PA; July 9-11; 1984
Published by
Springer
(1985)
ISBN 10: 3540156704
ISBN 13: 9783540156703
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540156703_lsuk
Buy New
£ 48.96
Convert currency
Seller Image
Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Published by
Springer Berlin Heidelberg
(1985)
ISBN 10: 3540156704
ISBN 13: 9783540156703
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating systems.- Concurrent behaviour: Sequences, processes and axioms.- Categories of models for concurrency.- Maximally concurrent evolution of non-sequential systems.- An improved failures model for communicating processes.- Denotational semantics for occam.- Linguistic support of receptionists for shared resources.- Applications of topology to semantics of communicating processes.- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety.- The ESTEREL synchronous programming language and its mathematical semantics.- An implementation model of rendezvous communication.- A fully abstract model of fair asynchrony.- Alternative semantics for McCarthy's amb.- Semantics of networks containing indeterminate operators.- Abstract interpretation and indeterminacy.- The NIL distributed systems programming language: A status report. Seller Inventory # 9783540156703
Buy New
£ 52.60
Convert currency
Seller Image
Seminar on Concurrency
Published by
Springer Berlin Heidelberg
(1985)
ISBN 10: 3540156704
ISBN 13: 9783540156703
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory ac. Seller Inventory # 4882710
Buy New
£ 42.75
Convert currency
Seller Image
Seminar on Concurrency
Published by
Springer Berlin Heidelberg Aug 1985
(1985)
ISBN 10: 3540156704
ISBN 13: 9783540156703
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating systems.- Concurrent behaviour: Sequences, processes and axioms.- Categories of models for concurrency.- Maximally concurrent evolution of non-sequential systems.- An improved failures model for communicating processes.- Denotational semantics for occam.- Linguistic support of receptionists for shared resources.- Applications of topology to semantics of communicating processes.- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety.- The ESTEREL synchronous programming language and its mathematical semantics.- An implementation model of rendezvous communication.- A fully abstract model of fair asynchrony.- Alternative semantics for McCarthy's amb.- Semantics of networks containing indeterminate operators.- Abstract interpretation and indeterminacy.- The NIL distributed systems programming language: A status report. 540 pp. Englisch. Seller Inventory # 9783540156703
Buy New
£ 94.56
Convert currency