Symbolic transition graph and its early bisimulation...

Science China Technological Sciences 1999 / 08 Vol. 42; Iss. 4

Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus

Zhoujun Li, Huowang Chen, Bingshan Wang
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
42
Language:
english
Pages:
12
DOI:
10.1007/bf02916743
Date:
August, 1999
File:
PDF, 653 KB
english, 1999
Conversion to is in progress
Conversion to is failed