From 777a4c3d8c941a13b6b5d83958da376a9e548432 Mon Sep 17 00:00:00 2001 From: Marten Lohstroh Date: Sat, 11 May 2024 13:48:25 -0700 Subject: [PATCH 1/2] Fixed typos and minor edits --- src/pages/index.tsx | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/pages/index.tsx b/src/pages/index.tsx index d0fb1a8af..c3785e564 100644 --- a/src/pages/index.tsx +++ b/src/pages/index.tsx @@ -83,11 +83,12 @@ const Intro = (): JSX.Element => ( Lingua Franca is the first reactor-oriented coordination language. It allows you to specify reactive components and compose them. - The Lingua Franca semantics eliminate race conditions by construction and provides a sophisticated model of time that includes a notion of simultaneity that is clear and precise. + Lingua Franca eliminates race conditions by construction, makes it easy to specify timed behavior, and it removes the need to perform manual synchronization.

- Consider a game of "rock paper scissors" where two players need to reveal their choice at the same instant. Not only is this implementation in Lingua Franca simple and intuitive, it is guaranteed to be fair. If the Player class were to observe the other's choice before revealing its own, Lingua Franca's causality analysis would find a causality loop and tell you that the program was invalid. + Consider a game of "rock paper scissors" where two players need to reveal their choice simultaneously. In Lingua Franca, "at the same time" has a clear and precise meaning. + This makes the implementation simple and intuitive, and guarantees it to be fair. If the Player class were to observe the other's choice before revealing its own, Lingua Franca's causality analysis would find a causality loop and tell you that the program was invalid.

@@ -124,7 +125,7 @@ const Contributors = (): JSX.Element => ( - Shortly after its inception, researchers from Kiel University and TU Dresden joined the team, contributing diagram synthesis and layout technology, highly-efficient runtime implementations, and various compiler improvements. Since then, we have worked with real-time systems experts from TU Dallas, embedded systems specialists from NTNU, and networking and security researchers from Hanyang University and ASU. + Shortly after its inception, researchers from Kiel University and TU Dresden joined the team, contributing diagram synthesis and layout technology, highly-efficient runtime implementations, and various compiler improvements. Since then, we have worked with real-time systems experts from UT Dallas, embedded systems specialists from NTNU, and networking and security researchers from Hanyang University and ASU.

From 0f7db291d21be1bbd2427a7504ba5e579a543ee0 Mon Sep 17 00:00:00 2001 From: Christian Menard Date: Tue, 4 Jun 2024 23:58:33 +0200 Subject: [PATCH 2/2] fix typo --- src/pages/index.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pages/index.tsx b/src/pages/index.tsx index c3785e564..086f12067 100644 --- a/src/pages/index.tsx +++ b/src/pages/index.tsx @@ -83,7 +83,7 @@ const Intro = (): JSX.Element => ( Lingua Franca is the first reactor-oriented coordination language. It allows you to specify reactive components and compose them. - Lingua Franca eliminates race conditions by construction, makes it easy to specify timed behavior, and it removes the need to perform manual synchronization. + Lingua Franca eliminates race conditions by construction, makes it easy to specify timed behavior, and removes the need to perform manual synchronization.