On Bisimulation Theory in Linear Higher-Order π-Calculus

DOI10.1007/978-3-642-04856-2_10zbMath1266.68139OpenAlexW1514174256MaRDI QIDQ3651244

Xian Xu

Publication date: 9 December 2009

Published in: Transactions on Petri Nets and Other Models of Concurrency III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04856-2_10

zbMATH Keywords

bisimulationprocess calculilinear higher-order \(\pi \)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Distinguishing and relating higher-order and first-order processes by expressiveness ⋮ On parameterization of higher-order processes

This page was built for publication: On Bisimulation Theory in Linear Higher-Order π-Calculus