Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality

Kenji Ohmori, Tosiyasu L. Kunii. Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality. In International Conference on Cyberworlds 2008, Hangzhou, China, 22-24 September 2008, Proceedings. pages 363-370, IEEE Computer Society, 2008. [doi]

@inproceedings{OhmoriK08,
  title = {Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality},
  author = {Kenji Ohmori and Tosiyasu L. Kunii},
  year = {2008},
  doi = {10.1109/CW.2008.74},
  url = {http://doi.ieeecomputersociety.org/10.1109/CW.2008.74},
  tags = {modeling},
  researchr = {https://researchr.org/publication/OhmoriK08},
  cites = {0},
  citedby = {0},
  pages = {363-370},
  booktitle = {International Conference on Cyberworlds 2008, Hangzhou, China, 22-24 September 2008, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3381-0},
}