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
-
14.08.2025, 10:56 AM CEST
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
A sequentially constructive circuit semantics for Esterel
SCCharts: sequentially constructive statecharts for safety-critical applications
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
Sequentially stable outcomes
Sequentially Optimal Auctions
Constructive proofs or constructive statements?
Optimal sequentially planned decision procedures
Concurrency 88 : proceedings
Constructive analysis
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
A sequentially constructive circuit semantics for Esterel
SCCharts: sequentially constructive statecharts for safety-critical applications
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
Sequentially stable outcomes
Sequentially Optimal Auctions
Constructive proofs or constructive statements?
Optimal sequentially planned decision procedures
Concurrency 88 : proceedings
Constructive analysis
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
A sequentially constructive circuit semantics for Esterel
SCCharts: sequentially constructive statecharts for safety-critical applications
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
Sequentially stable outcomes
Sequentially Optimal Auctions
Constructive proofs or constructive statements?
Optimal sequentially planned decision procedures
Concurrency 88 : proceedings