A Typed Language for Distributed Mobile Processes (Extended Abstract)

James Riely, Matthew Hennessy. A Typed Language for Distributed Mobile Processes (Extended Abstract). In Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 378-390, ACM, New York, NY, USA, 1998. [doi]

@inproceedings{RielyH98,
  title = {A Typed Language for Distributed Mobile Processes (Extended Abstract)},
  author = {James Riely and Matthew Hennessy},
  year = {1998},
  doi = {10.1145/268946.268978},
  url = {http://doi.acm.org/10.1145/268946.268978},
  tags = {mobile},
  researchr = {https://researchr.org/publication/RielyH98},
  cites = {0},
  citedby = {0},
  pages = {378-390},
  booktitle = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}