Chopping Concurrent Programs.

Dennis Giffhorn

Published in: SCAM (2009)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
concurrent processes
formal specification
database
management system
general purpose
model checking
asynchronous circuits
concurrent systems