## Bisimulation for higher-order process calculi (1996)

by
Davide Sangiorgi

Venue: | INFORMATION AND COMPUTATION |

Citations: | 58 - 4 self |

### BibTeX

@ARTICLE{Sangiorgi96bisimulationfor,

author = {Davide Sangiorgi},

title = {Bisimulation for higher-order process calculi},

journal = {INFORMATION AND COMPUTATION},

year = {1996},

pages = {141--178}

}

### Years of Citing Articles

### OpenURL

### Abstract

A higher-order process calculus is a calculus for communicating systems which contains higher-order constructs like communication of terms. We analyse the notion of bisimulation in these calculi. We argue that both the standard definition of bisimulation (i.e., the one for CCS and related calculi), as well as higher-order bisimulation [E. Astesiano,