Andrew W Roscoe (9 results)

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Wraps. Condition: Very Good+. Vol. 290, No. 4. Pulp magazine. [Edited by Chandler H. Whipple.] Cover art by Rudolph Belarski for "Wild River" (pt. 1 of 5) by John Stromberg. Includes "Simple Seaman" by Richard Howells Watkins; "Stay as Sweet as You Are" (novelet) by Theodore Roscoe; "The Golden Woman" (pt. 2 of 3) by Fred MacIsaac; "Legends of Legionaries" (Picture Feature) by W. A. Windas; "A Ton of Gold" by Frank Richardson Pierce; "Men of Daring: Sir Hubert Wilkins - Modern Marco Polo" (True Story in Pictures) by Stookie Allen; "The Cup of Satan" by Garnett Radcliffe; "Cancelled in Red" (pt. 3 of 5) by Hugh Pentecost; "No Planes for Pop" by Marte Richards. Features: "The Magic Mountain" by Andrew McCobb; "Argonotes"; "Looking Ahead!" Illustrations uncredited. Tanning; less than usual edge tears. Magazine.…

Softcover. 293 pp., B&W Photographs More contributors: Gary Whitehead, Eugene McNamara, Aritha van Herk, William Goede, Rohinton Mistry,bp Nichol, Gerald Lynch, Patrick Lewis, George McWhirter, Derk Wynand, Janice Kulyk Keefer. Geoff Hancock. Light shelf wear, smudges at fore edge, inside v.g.

Condition: New. In English.

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.…

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.…

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.…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 540 pp. Englisch.…

Taschenbuch. Condition: Neu. Seminar on Concurrency | Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 | Stephen D. Brookes (u. a.) | Taschenbuch | x | Englisch | 1985 | Springer | EAN 9783540156703 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…