Minor change Lingua Franca -> LF

Author: hokeun

01-actor-model.md

@@ -23,7 +23,7 @@ Here is what our system looks like:
 ![Step 1 actor model diagram](fig/Step1_Actor.svg)
 
 
-The squiggly arrows (`~>`) are [**physical connections** in Lingua Franca](https://www.lf-lang.org/docs/writing-reactors/composing-reactors/#physical-connections). They still use TCP for reliable, in-order delivery on each individual link, but the receiver assigns the incoming message a logical timestamp based on its own physical clock (device's clock) rather than preserving the sender's logical timestamp. As a result, LF does not coordinate a single logical ordering across the California and New York links: messages from the two operators may arrive at either grid manager in either order.
+The squiggly arrows (`~>`) are [**physical connections** in LF](https://www.lf-lang.org/docs/writing-reactors/composing-reactors/#physical-connections). They still use TCP for reliable, in-order delivery on each individual link, but the receiver assigns the incoming message a logical timestamp based on its own physical clock (device's clock) rather than preserving the sender's logical timestamp. As a result, LF does not coordinate a single logical ordering across the California and New York links: messages from the two operators may arrive at either grid manager in either order.
 
 ---