External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Specifying Properties for Modular Pi-Calculus

Takashi Kitamura, Huimin Lin. Specifying Properties for Modular Pi-Calculus. In Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. pages 201-208, IEEE Computer Society, 2008. [doi]

Authors

Takashi Kitamura

This author has not been identified. Look up 'Takashi Kitamura' in Google

Huimin Lin

This author has not been identified. Look up 'Huimin Lin' in Google
runs on