Axiomatization of a class of parametrised bisimilarities

Pranav Singh, S. Arun-Kumar

Research output: Chapter or section in a book/report/conference proceedingChapter or section

Original languageEnglish
Title of host publicationPerspectives in Concurrency Theory
EditorsK. Lodaya, M. Mukund, R. Ramanujam
PublisherCRC Press
ISBN (Print)9781439809433
Publication statusPublished - 15 Apr 2009

Cite this