Refining Undetermined Events for Specifying Concurrent Programs.

Thanh-Binh Trinh Ninh-Thuan Truong Viet Ha Nguyen

Published in: KSE (2011)

Keyphrases

concurrent programs
event detection
concurrent programming
process algebra
concurrent systems
real time
general purpose
relational databases
object oriented
web applications
petri net
load balancing
business rules
concurrent processes