Login / Signup
Telling Lies in Process Algebra.
Mohammad Reza Mousavi
Mahsa Varshosaz
Published in:
TASE (2018)
Keyphrases
</>
process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
communication protocols
concurrent programs
temporal logic
grid workflow
petri net
formal languages
reverse engineering
distributed systems
web services
information systems