Orderly communication in the Ambient Calculus

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen. Orderly communication in the Ambient Calculus. Computer Languages, Systems \& Structures, 28(1):29-60, 2002.

@article{AmtoftKP02,
  title = {Orderly communication in the Ambient Calculus},
  author = {Torben Amtoft and A. J. Kfoury and Santiago M. Pericás-Geertsen},
  year = {2002},
  researchr = {https://researchr.org/publication/AmtoftKP02},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {28},
  number = {1},
  pages = {29-60},
}