Sign in
Compositional Abstraction for Concurrent Programs.
Junyan Qian
Baowen Xu
Published in:
Software Engineering Research and Practice (2006)
Keyphrases
</>
concurrent programs
concurrent processes
concurrent programming
petri net
high level
web applications
computing systems
databases
artificial intelligence
relational databases
general purpose