Login / Signup
Using process algebra to statically analyze incremental propagation graphs.
Théo Le Calvar
Fabien Chhel
Frédéric Jouault
Frédéric Saubion
Published in:
MoDELS (Workshops) (2018)
Keyphrases
</>
process algebra
concurrent systems
model checking
asynchronous circuits
formal methods
formal specification
web services composition
temporal logic
communication protocols
concurrent programs
database systems
relational databases
knowledge representation