Login / Signup
A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication.
Masaki Murakami
Published in:
TMFCS (2008)
Keyphrases
</>
higher order
probabilistic model
high level
high order
pairwise
general purpose
communication protocol