Login / Signup
Toward a Lingua Franca for Deterministic Concurrent Systems.
Marten Lohstroh
Christian Menard
Soroush Bateni
Edward A. Lee
Published in:
ACM Trans. Embed. Comput. Syst. (2021)
Keyphrases
</>
concurrent systems
lingua franca
temporal logic
distributed systems
process algebra
model checking
transition systems
formal specification
data exchange
petri net
database
data management
business processes