C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesis of Large Concurrent Programs via Pairwise Composition.
Paul C. Attie
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