C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Practical proofs of concurrent programs.
Marc Shapiro
Published in:
ICFP (2006)
Keyphrases
</>
concurrent programs
real time
concurrent processes
expert systems