Login / Signup
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems.
Doron A. Peled
Wojciech Penczek
Published in:
PSTV (1995)
Keyphrases
</>
concurrent systems
temporal logic
computationally efficient
building blocks
database
neural network
distributed systems
lightweight
cellular automata
finite state