Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technische Berichte des Instituts für Informatik der CAU Kiel ; 1504
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Universitätsbibliothek Kiel
- (wann)
-
2015
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:8:1-zs-00000267-a8
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 MESZ
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
- Universitätsbibliothek Kiel
Entstanden
- 2015
Ä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
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
A sequentially constructive circuit semantics for Esterel
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
On the semantics of a concurrency monad with choice and services
O|R|P|E - A data semantics driven concurrency control mechanism
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
O|R|P|E - a data semantics driven concurrency control mechanism with run-time adaptation
O|R|P|E - A Data Semantics Driven Concurrency Control Mechanism with Run-time Adaptation
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
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
A sequentially constructive circuit semantics for Esterel
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
On the semantics of a concurrency monad with choice and services
O|R|P|E - A data semantics driven concurrency control mechanism
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
O|R|P|E - a data semantics driven concurrency control mechanism with run-time adaptation
O|R|P|E - A Data Semantics Driven Concurrency Control Mechanism with Run-time Adaptation
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
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
A sequentially constructive circuit semantics for Esterel
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
On the semantics of a concurrency monad with choice and services
O|R|P|E - A data semantics driven concurrency control mechanism
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
O|R|P|E - a data semantics driven concurrency control mechanism with run-time adaptation
O|R|P|E - A Data Semantics Driven Concurrency Control Mechanism with Run-time Adaptation