A non-interleaving process calculus for multi-party synchronisation (bibtex)
by P. Sobociński
Reference:
P. Sobociński, "A non-interleaving process calculus for multi-party synchronisation", In ICE '09, 2009.
Bibtex Entry:
@INPROCEEDINGS{Soboci'nski2009a,
  author = {P. Soboci\'{n}ski},
  title = {A non-interleaving process calculus for multi-party synchronisation},
  booktitle = {ICE '09},
  year = {2009},
  timestamp = {25.07.09},
  url = {http://users.ecs.soton.ac.uk/ps/papers/ice09.pdf}
}
Powered by bibtexbrowser