Verifying Functional Behaviour of Concurrent Programs.

Marina Zaharieva-Stojanovski Marieke Huisman Stefan Blom

Published in: FTfJP@ECOOP (2014)

Keyphrases

concurrent programs
process algebra
concurrent programming
model checking
web applications
machine learning
formal specification
web services composition
concurrent processes
databases
case study
knowledge acquisition
business processes