Changes for page 2022/23 Synchronous Languages
Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
>
edited by Reinhard von Hanxleden
on 2022/06/20 08:59
on 2022/06/20 08:59
edited by Jette Petzold
on 2022/07/04 11:58
on 2022/07/04 11:58
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. rvh1 +XWiki.jep - Content
-
... ... @@ -59,7 +59,7 @@ 59 59 (% style="color: rgb(51,51,51);" %)M. Lohstroh, C. Menard, A. Schulz-Rosengarten, M. Weber, J. Castrillon and E. A. Lee, [[A Language for Deterministic Coordination Across Multiple Timelines>>url:https://ieeexplore.ieee.org/document/9232939||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020 60 60 61 61 (% style="margin-left: 30.0px;" %) 62 -(% style="color: rgb(51,51,51);" %)F. Gretz, F. -J. Grosch, M. Mendler and S. Scheele, [[Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech>>url:https://ieeexplore.ieee.org/document/9232942||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232942. 62 +(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned]** (% style="color: rgb(51,51,51);" %)F. Gretz, F. -J. Grosch, M. Mendler and S. Scheele, [[Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech>>url:https://ieeexplore.ieee.org/document/9232942||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232942. 63 63 64 64 (% style="margin-left: 30.0px;" %) 65 65 (% style="color: rgb(51,51,51);" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -1314980 101 +131498050 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/1314980 10/WS22/23 (Synchronous Languages)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/131498050/WS22/23 (Synchronous Languages)