Fast Slicing of Concurrent Programs.

Diganta Goswami Rajib Mall

Published in: HiPC (1999)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
formal specification
asynchronous circuits
data model
open source
formal methods
concurrent systems
information systems
web services
expert systems
model checking