Expressiveness of the π-Calculus and the $-Calculus

星级：  12 页

Type-based information flow analysis for the π-calculus

星级：  57 页

On the decidability of process equivalences for the π-calculus

星级：  14 页

A symbolic semantics for the π-calculus — Extended abstract

星级：  13 页

the continuous π-calculus a process algebra for biochemical

星级：  21 页

Object π πpi -Calculus and Document Workflows

星级：  12 页

Type Inference for Session Types in the π πpi -calculus

星级：  19 页