@inproceedings{3475a306d29a4a9b8c5dc6dfa1f46196,
title = "Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software",
abstract = "This paper introduces the Mimosa language, a programming language for the design and implementation of asynchronous reactive systems, describing them as a collection of time-triggered processes which communicate through FIFO buffers. Syntactically, Mimosa builds upon the Lustre data-flow language, augmenting it with a new semantics to allow for the expression of side-effectful computations, and extending it with an asynchronous coordination layer which orchestrates the communication between processes. A formal semantics is given to both the process and coordination layer through a textual and graphical rewriting calculus, respectively, and a prototype interpreter for simulation is provided.",
keywords = "Coordination language, Cyber-physical systems, Data-flow, Embedded Systems, Formal semantics, Kahn process networks, MIMOS",
author = "Nikolaus Huber and Susanne Graf and Philipp R{\"u}mmer and Wang Yi",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2025.; 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 ; Conference date: 17-06-2025 Through 19-06-2025",
year = "2025",
doi = "10.1007/978-3-031-95589-1\_5",
language = "英语",
isbn = "9783031955884",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "90--113",
editor = "\{Di Giusto\}, Cinzia and Ant{\'o}nio Ravara",
booktitle = "Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Proceedings",
address = "德国",
}