A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes
Cached
Download Links
- [www.lix.polytechnique.fr]
- [www-compsci.swan.ac.uk]
- [ftp.sics.se]
- DBLP
Other Repositories/Bibliography
by
Yoram Hirshfeld
,
Mark Jerrum
,
Faron Moller
| Citations: | 39 - 6 self |
BibTeX
@MISC{Hirshfeld_apolynomial,
author = {Yoram Hirshfeld and Mark Jerrum and Faron Moller},
title = {A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes },
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
