Bisimulation for higher-order process calculi

Bisimulation for higher-order process calculi (1996)

by Davide Sangiorgi

Venue:	INFORMATION AND COMPUTATION
Citations:	48 - 4 self

User correction supplied by mph

Datum	Value	Source
TITLE	Bisimulation for higher-order process calculi	INFERENCE
AUTHOR NAME	Davide Sangiorgi	user correction
AUTHOR AFFIL	Inria Sophia Antipolis	user correction
AUTHOR ADDR	F-06902 Sophia Antipolis, France	user correction
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,	SVM HeaderParse 0.2
YEAR	1996	INFERENCE
VENUE	INFORMATION AND COMPUTATION	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	141--178	INFERENCE
CITATIONS	25 found	ParsCit 1.0