Bisimulation for Higher-Order Process Calculi (1996)
Download:
|
|
by N Rr, Davide Sangiorgi, Davide Sangiorgi
Information and Computation
ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2508.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@ARTICLE{Rr96bisimulationfor,author = {N Rr and Davide Sangiorgi and Davide Sangiorgi},
title = {Bisimulation for Higher-Order Process Calculi},
journal = {Information and Computation},
year = {1996},
volume = {131},
number = {131},
pages = {141--178}
}
Years of Citing Articles
Abstract:
apport de recherche
