- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik ; 94
- Classification
-
Informatik
- Keyword
-
Esterel |Programmiersprache| ; Berry, Gerald ; Parallelverarbeitung ; Online-Publikation
- Event
-
Veröffentlichung
- (where)
-
Bamberg
- (who)
-
Otto-Friedrich-Universität Bamberg
- (when)
-
2014
- Creator
- URN
-
urn:nbn:de:bvb:473-opus4-250905
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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
- 2014
Other Objects (12)
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
Adding concurrency to a sequential refinement tower
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Synchronous + concurrent + sequential = earlier than + not later than
Sequentially constructive concurrency a conservative extension of the synchronous model of computation
Grounding lines
Deterministic global flowsheet optimization: Between equation‐oriented and sequential‐modular methods
Bolzano's conception of grounding
Swissair - Mythos und Grounding
Concurrency 88 : proceedings
Symbol grounding and beyond : proceedings
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
Adding concurrency to a sequential refinement tower
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Synchronous + concurrent + sequential = earlier than + not later than
Sequentially constructive concurrency a conservative extension of the synchronous model of computation
Grounding lines
Deterministic global flowsheet optimization: Between equation‐oriented and sequential‐modular methods
Bolzano's conception of grounding
Swissair - Mythos und Grounding
Concurrency 88 : proceedings
Symbol grounding and beyond : proceedings
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
Adding concurrency to a sequential refinement tower
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency
Synchronous + concurrent + sequential = earlier than + not later than
Sequentially constructive concurrency a conservative extension of the synchronous model of computation
Grounding lines
Deterministic global flowsheet optimization: Between equation‐oriented and sequential‐modular methods
Bolzano's conception of grounding
Swissair - Mythos und Grounding
Concurrency 88 : proceedings