Login / Signup
Deterministic concurrent systems.
Samy Abbes
Published in:
CoRR (2020)
Keyphrases
</>
concurrent systems
distributed systems
temporal logic
process algebra
transition systems
petri net
model checking
formal specification
genetic algorithm
information systems
decision trees
relaxation algorithm