Brief Announcement: constraint-based synchronization and verification of concurrent programs.

Rafael Ramírez Juanjo Martinez

Published in: PODC (2004)

Keyphrases

concurrent programs
process algebra
model checking
concurrent systems
concurrent programming
formal methods
temporal logic
concurrent processes
web applications
formal specification
databases
natural language
expert systems
general purpose
programming language
real time
information systems