Bisimulation for higher-order process calculi (1996)

Cached

Download Links

by Davide Sangiorgi
Venue:INFORMATION AND COMPUTATION
Citations:58 - 4 self

Document Versions

Bisimulation for higher-order process calculi –Davide Sangiorgi — 1996 — INFORMATION AND COMPUTATION
Bisimulation for Higher-Order Process Calculi –Davide Sangiorgi — 1996 — INFORMATION AND COMPUTATION