|
ComputingReviews.com
|
Proof search specifications of bisimulation and modal logics for the &pgr;-calculus Tiu A., Miller D. ACM Transactions on Computational Logic11(2):1-35,2010.Type:Article |
|
|
|
Published By: ACM Press |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|