A non-interleaving process calculus for multi-party synchronisation (bibtex)

by Paweł Sobociński

Reference:

Paweł Sobociński, A non-interleaving process calculus for multi-party synchronisation, In Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009 (Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto, eds.), vol. 12, pp. 87–98, 2009.

Bibtex Entry:

@InProceedings{Soboci'nski2009a,
  author    = {Pawe{\l} Soboci{\'{n}}ski},
  title     = {A non-interleaving process calculus for multi-party synchronisation},
  booktitle = {Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  editor    = {Filippo Bonchi and Davide Grohmann and Paola Spoletini and Emilio Tuosto},
  series    = {{EPTCS}},
  volume    = {12},
  pages     = {87--98},
  year      = {2009},
  doi       = {10.4204/EPTCS.12.6},
  url       = {https://doi.org/10.4204/EPTCS.12.6},
}