Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik ; 96
- Keyword
-
Nebenläufigkeit ; Verteilte Programmierung ; Denotation ; Funktionale Semantik ; Determinismus
- Event
-
Veröffentlichung
- (where)
-
Bamberg
- (who)
-
Otto-Friedrich-Universität Bamberg
- (when)
-
2016
- Creator
- URN
-
urn:nbn:de:bvb:473-opus4-265444
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 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
- Aguado, Joaquín
- Mendler, Michael
- Hanxleden, Reinhard von
- Fuhrmann, Insa
- Otto-Friedrich-Universität Bamberg
Time of origin
- 2016
Other Objects (12)
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Sequentially constructive concurrency a conservative extension of the synchronous model of computation
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
A sequentially constructive circuit semantics for Esterel
Scheduling of flow shops with synchronous movement
Synthesizing synchronous systems by static scheduling in space-time
O|R|P|E - A data semantics driven concurrency control mechanism
On the semantics of a concurrency monad with choice and services
Using Enhanced Logic Programming Semantics for Extending and Optimizing Synchronous System Design
WCRT algebra and scheduling interfaces for Esterel-style synchronous multithreading : preliminary report.
Constructive proofs or constructive statements?
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Sequentially constructive concurrency a conservative extension of the synchronous model of computation
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
A sequentially constructive circuit semantics for Esterel
Scheduling of flow shops with synchronous movement
Synthesizing synchronous systems by static scheduling in space-time
O|R|P|E - A data semantics driven concurrency control mechanism
On the semantics of a concurrency monad with choice and services
Using Enhanced Logic Programming Semantics for Extending and Optimizing Synchronous System Design
WCRT algebra and scheduling interfaces for Esterel-style synchronous multithreading : preliminary report.
Constructive proofs or constructive statements?
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Sequentially constructive concurrency a conservative extension of the synchronous model of computation
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
A sequentially constructive circuit semantics for Esterel
Scheduling of flow shops with synchronous movement
Synthesizing synchronous systems by static scheduling in space-time
O|R|P|E - A data semantics driven concurrency control mechanism
On the semantics of a concurrency monad with choice and services
Using Enhanced Logic Programming Semantics for Extending and Optimizing Synchronous System Design
WCRT algebra and scheduling interfaces for Esterel-style synchronous multithreading : preliminary report.