Login / Signup
Retracing some paths in Process Algebra.
Samson Abramsky
Published in:
CoRR (2014)
Keyphrases
</>
process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
concurrent programs
web services composition
communication protocols
temporal logic
petri net
grid workflow
distributed systems
web service composition
knowledge based systems
programming environment