Synthesis of Large Concurrent Programs via Pairwise Composition.

Published in: CONCUR (1999)

Keyphrases

concurrent programs
pairwise
process algebra
web services composition
concurrent programming
markov random field
web service composition
similarity measure
web applications
model checking
information systems
data model
business processes
concurrent processes