Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik ; 96
- Schlagwort
-
Nebenläufigkeit ; Verteilte Programmierung ; Denotation ; Funktionale Semantik ; Determinismus
- Ereignis
-
Veröffentlichung
- (wo)
-
Bamberg
- (wer)
-
Otto-Friedrich-Universität Bamberg
- (wann)
-
2016
- Urheber
- URN
-
urn:nbn:de:bvb:473-opus4-265444
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Aguado, Joaquín
- Mendler, Michael
- Hanxleden, Reinhard von
- Fuhrmann, Insa
- Otto-Friedrich-Universität Bamberg
Entstanden
- 2016
Ähnliche Objekte (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.