@misc{indiciae344b5daf56a7,
  title = {Modelling Concurrent Behaviors in the Process Specification Language},
  author = {Dai Tri Man Le},
  year = {2009},
  url = {https://arxiv.org/abs/0907.2775},
  note = {Source identifier: 0907.2775}
}