@article{10792,
  author = {Stein Krogdahl and Olav Lysne},
  title = {On Verification of Parallel Message-Passing Processes},
  year = {2002},
  journal = {Formal Aspects of Computing},
  volume = {13},
  number = {6},
  pages = {471-492},
  publisher = {Springer},
}