Login / Signup
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs.
Matthias Kuntz
Stefan Leue
Christoph Scheben
Published in:
WING@ETAPS/IJCAR (2010)
Keyphrases
</>
concurrent programs
concurrent programming
process algebra
model checking
rewrite systems
theorem prover
web applications
concurrent processes
database
artificial intelligence
theorem proving
object oriented
formal specification
concurrent systems