skip to main content
Show Results with:

Symbolic bisimulations and proof systems for pi-calculus.

H Lin

University of Sussex, School of Cognitive and Computing Science, [1994]

Check library holdings

  • Title:
    Symbolic bisimulations and proof systems for pi-calculus.
  • Author: H Lin
  • Contributor: University of Sussex. Department of Informatics.
  • Subjects: Mathematics; Pure mathematics;
    Dewey: 510
  • Rights: Terms governing use: Current Copyright Fee: GBP17.50
  • Publication Details: University of Sussex, School of Cognitive and Computing Science, [1994]
  • Identifier: System number: 006252871
  • Series: Report- University of Sussex computer science ; no 7/94
  • Shelfmark(s): Document Supply 7623.617100 7/94
  • UIN: BLL01006252871

Searching Remote Databases, Please Wait