Seminar on Concurrency (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
526
Utgivningsdatum
1985-08-01
Upplaga
1985 ed.
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Brookes, Stephen D. (ed.), Roscoe, Andrew W. (ed.), Winskel, Glynn (ed.)
Illustrationer
X, 526 p.
Volymtitel
v. 197
Dimensioner
234 x 156 x 28 mm
Vikt
749 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540156703

Seminar on Concurrency

Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

av Stephen D Brookes, Andrew W Roscoe, Glynn Winskel
Häftad,  Engelska, 1985-08-01
760
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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.
Visa hela texten

Passar bra ihop

  1. Seminar on Concurrency
  2. +
  3. Co-Intelligence

De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).

Köp båda 2 för 988 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

  • The Formal Semantics of Programming Languages

    The Formal Semantics of Programming Languages

    Glynn Winskel

    The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize,...

    1189
    Köp
    Skickas inom vardagar.
  • Automata, Languages and Programming

    Automata, Languages and Programming

    Kim G Larsen, Sven Skyum, Glynn Winskel

    This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98, held in Aalborg, Denmark, in July 1998. The 70 revised full papers presented together with eight invited con...

    1677
    Köp
    Skickas inom vardagar.

Innehållsförteckning

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.

Du kanske gillar