Login / Signup
Lightweight DSL for Describing Extensible Transition Systems.
Seiji Umatani
Published in:
SAC (2024)
Keyphrases
</>
lightweight
transition systems
concurrent systems
model checking
temporal logic
finite state
practical reasoning
control flow
development environments
artificial intelligence
distributed systems
fully observable
wireless sensor networks
low cost
data flow