Integrated Support Environment for Concurrent Process Calculi

Sen Yoshida, Atsushi Togashi, Norio Shiratori. Integrated Support Environment for Concurrent Process Calculi. In PODC. pages 395, 1994.

@inproceedings{YoshidaTS94,
  title = {Integrated Support Environment for Concurrent Process Calculi},
  author = {Sen Yoshida and Atsushi Togashi and Norio Shiratori},
  year = {1994},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/YoshidaTS94},
  cites = {0},
  citedby = {0},
  pages = {395},
  booktitle = {PODC},
}