A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity

Permalink

https://hdl.handle.net/2142/10844

Title: A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity
Author(s): Popescu, Andrei
Issue Date: 2009-03
Keyword(s): Computer Science
Abstract: Combining traces, coalgebra and lazy-filtering channel configurations for parallel composition, we give a fully-abstract denotational semantics for the pi-calculus under weak early bisimilarity.
Type of Resource: text
Permalink: http://hdl.handle.net/2142/10844