Your English writing platform
Discover LudwigSuggestions(2)
Exact(16)
"A hierarchical coordination language for reliable real-time tasks".
HTL is a coordination language, in that individual tasks can be implemented in "foreign" languages.
Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto SAngiovanni-Vincentelli. "A Hierarchical Coordination Language for Interacting Real-Time Tasks".
The expressiveness of the framework is witnessed by the ability to model all the (stateless) connectors of the architectural design language CommUnity and of the coordination language Reo.
More to the point, we show how the core concepts of ACME can be mapped to equivalent executable code written in the coordination language Manifold.
Furthermore, we show how the framework can be implemented in the general-purpose coordination language MANIFOLD without the need for using special architectures or real-time languages.
Similar(44)
Coordination languages simplify design and development of concurrent systems.
Actor-oriented component architectures implemented in coordination languages that complement rather than replace existing languages.
With good design of these coordination languages, this will deliver understandable concurrency.
I argue for the development of concurrent coordination languages based on sound, composable formalisms.
In particular, coordination languages have been proposed to cleanly separate computational aspects and communication.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com