C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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