Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: ICFEM 2018: Formal Methods and Software Engineering
- Bibliographic citation
-
Lecture Notes in Computer Science ; 11232
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2020
- Creator
-
Berg, Nils
Göthel, Thomas
Danziger, Armin
Glesner, Sabine
- DOI
-
10.14279/depositonce-9793
- Handle
-
11303/10900
- URN
-
urn:nbn:de:101:1-2020031100585038741313
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 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
- Berg, Nils
- Göthel, Thomas
- Danziger, Armin
- Glesner, Sabine
- Technische Universität Berlin
Time of origin
- 2020
Other Objects (12)
Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
Code Generation for Synchronous Control Asynchronous Dataflow Architectures
Globally asynchronous locally synchronous architectures for VLSI systems
Mass transfer in synchronous and asynchronous magnetic cataclysmic variables
Maggy: Asynchronous distributed hyperparameter optimization based on Apache Spark: Asynchronous algorithms on a bulk-synchronous system
Herding, A-synchronous Updating and Heterogeneity in Memory in a CBS
Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)
Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures
Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)
Behaviour and refinement of port-based components with synchronous and asynchronous communication
Refinement of components in connection-safe assemblies with synchronous and asynchronous communication
Tele-Board, supporting and analyzing creative collaboration in synchronous and asynchronous scenarios
Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
Code Generation for Synchronous Control Asynchronous Dataflow Architectures
Globally asynchronous locally synchronous architectures for VLSI systems
Mass transfer in synchronous and asynchronous magnetic cataclysmic variables
Maggy: Asynchronous distributed hyperparameter optimization based on Apache Spark: Asynchronous algorithms on a bulk-synchronous system
Herding, A-synchronous Updating and Heterogeneity in Memory in a CBS
Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)
Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures
Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)
Behaviour and refinement of port-based components with synchronous and asynchronous communication
Refinement of components in connection-safe assemblies with synchronous and asynchronous communication
Tele-Board, supporting and analyzing creative collaboration in synchronous and asynchronous scenarios
Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
Code Generation for Synchronous Control Asynchronous Dataflow Architectures
Globally asynchronous locally synchronous architectures for VLSI systems
Mass transfer in synchronous and asynchronous magnetic cataclysmic variables
Maggy: Asynchronous distributed hyperparameter optimization based on Apache Spark: Asynchronous algorithms on a bulk-synchronous system
Herding, A-synchronous Updating and Heterogeneity in Memory in a CBS
Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)
Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures
Topic shift markers in asynchronous and synchronous computer mediated communication (CMC)
Behaviour and refinement of port-based components with synchronous and asynchronous communication
Refinement of components in connection-safe assemblies with synchronous and asynchronous communication