Alle Kategorien
Bücher
(Land-)Karten
Spielzeug
Kalender
Gesellschaftsspiele
Schreibwaren
Schule & Lernen
0,00 €*
Cover: 9783540156703 | Seminar on Concurrency | Stephen D. Brookes (u. a.) | Taschenbuch | x
Rückseite: 9783540156703 | Seminar on Concurrency | Stephen D. Brookes (u. a.) | Taschenbuch | x
Cover: 9783540156703 | Seminar on Concurrency | Stephen D. Brookes (u. a.) | Taschenbuch | x
Rückseite: 9783540156703 | Seminar on Concurrency | Stephen D. Brookes (u. a.) | Taschenbuch | x
Dekorationsartikel gehören nicht zum Leistungsumfang.
Seminar on Concurrency
Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Taschenbuch von Stephen D. Brookes (u. a.)
Sprache: Englisch

47,95 €*

-10 % UVP 53,49 €
inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:
Beschreibung
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.
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1985
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: x
526 S.
ISBN-13: 9783540156703
ISBN-10: 3540156704
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Brookes, Stephen D.
Winskel, Glynn
Roscoe, Andrew W.
Herausgeber: Stephen D Brookes/Andrew W Roscoe/Glynn Winskel
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 29 mm
Von/Mit: Stephen D. Brookes (u. a.)
Erscheinungsdatum: 01.08.1985
Gewicht: 0,809 kg
Artikel-ID: 102151301
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1985
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: x
526 S.
ISBN-13: 9783540156703
ISBN-10: 3540156704
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Brookes, Stephen D.
Winskel, Glynn
Roscoe, Andrew W.
Herausgeber: Stephen D Brookes/Andrew W Roscoe/Glynn Winskel
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 29 mm
Von/Mit: Stephen D. Brookes (u. a.)
Erscheinungsdatum: 01.08.1985
Gewicht: 0,809 kg
Artikel-ID: 102151301
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783528052423 | Modellbildung und Simulation | Hartmut Bossel | Taschenbuch | iv
Modellbildung und Simulation
Konzepte, Verfahren und Modelle zum Verhalten dynamischer Systeme
EAN: 9783528052423
Sprache: Deutsch
Von/Mit: Hartmut Bossel

49,95 €*

Lieferzeit 2-4 Werktage

Buch
-1 %
Tipp
Cover: 9783540017721 | Partial Differential Equations with Numerical Methods | Thomee (u. a.)
Partial Differential Equations with Numerical Methods
EAN: 9783540017721
Sprache: Englisch
Von/Mit: Vidar Thomee (u. a.)

90,35 €* UVP 90,94 €

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783540435983 | Kompaktkurs Mathematik für Ingenieure und Naturwissenschaftler | Duma
Kompaktkurs Mathematik für Ingenieure und Naturwissenschaftler
EAN: 9783540435983
Sprache: Deutsch
Von/Mit: Andrei Duma

39,99 €*

Lieferzeit 2-4 Werktage

Buch
Tipp
Cover: 9781107002548 | Principles of Automated Negotiation | Shaheen Fatima (u. a.) | Buch
Principles of Automated Negotiation
EAN: 9781107002548
Sprache: Englisch
Von/Mit: Shaheen Fatima (u. a.)

75,60 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780521318839 | Program Construction | R. G. Stone (u. a.) | Taschenbuch | Englisch
Program Construction
EAN: 9780521318839
Sprache: Englisch
Von/Mit: R G Stone (u. a.)

66,50 €*

Aktuell nicht verfügbar

Taschenbuch
Tipp
Cover: 9780998477008 | Design Thinking | David West (u. a.) | Taschenbuch | Englisch | 2017
Design Thinking
The Key to Enterprise Agility, Innovation, and Sustainability
EAN: 9780998477008
Sprache: Englisch
Von/Mit: David West (u. a.)

51,80 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783967160024 | Agile Project Management | Scrum for Beginners | Markus Heimrath
Agile Project Management
Scrum for Beginners
EAN: 9783967160024
Sprache: Englisch
Von/Mit: Markus Heimrath

17,85 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783446471818 | AI Changes the Rules of the Game | Volker Gruhn (u. a.) | Buch | 2022
AI Changes the Rules of the Game
Rethinking Business Models, Customer Relationship and Products
EAN: 9783446471818
Sprache: Englisch
Von/Mit: Volker Gruhn (u. a.)

59,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
-19 %
Cover: 9781484289853 | Introducing Cisco Unified Computing System | Stuart Fordham | Buch
Introducing Cisco Unified Computing System
Learn Cisco UCS with Cisco UCSPE
EAN: 9781484289853
Sprache: Englisch
Von/Mit: Stuart Fordham

47,95 €* UVP 58,84 €

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781032919263 | Designing Scientific Applications on GPUs | Raphael Couturier | Buch
Designing Scientific Applications on GPUs
EAN: 9781032919263
Sprache: Englisch
Von/Mit: Raphael Couturier

54,15 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...