Sequentially constructive concurrency a conservative extension of the synchronous model of computation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte des Instituts für Informatik ; Nr. 13,08
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Institut für Informatik, Christian-Albrechts-Universität zu Kiel
- (when)
-
2013
- Creator
-
Hanxleden von, Reinhard
- URN
-
urn:nbn:de:101:1-201402136745
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Hanxleden von, Reinhard
- Institut für Informatik, Christian-Albrechts-Universität zu Kiel
Time of origin
- 2013
Other Objects (12)
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
A machine-checked constructive metatheory of computation tree logic
Constructive computation in stochastic models with applications : the RG-factorization
Constructive proofs or constructive statements?
Concurrency 88 : proceedings
Constructive combinatorics
Constructive analysis
Constructive approximation
Constructive waterfalls
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
A machine-checked constructive metatheory of computation tree logic
Constructive computation in stochastic models with applications : the RG-factorization
Constructive proofs or constructive statements?
Concurrency 88 : proceedings
Constructive combinatorics
Constructive analysis
Constructive approximation
Constructive waterfalls
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
A machine-checked constructive metatheory of computation tree logic
Constructive computation in stochastic models with applications : the RG-factorization
Constructive proofs or constructive statements?
Concurrency 88 : proceedings
Constructive combinatorics
Constructive analysis
Constructive approximation