Files in this item

FilesDescriptionFormat

application/pdf

application/pdfUIUCDCS-R-2009-3045.pdf (627kB)
(no description provided)PDF

Description

Title:A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity
Author(s):Popescu, Andrei
Subject(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.
Issue Date:2009-03
Type:Text
URI:http://hdl.handle.net/2142/10844
Date Available in IDEALS:2009-04-15


This item appears in the following Collection(s)

Item Statistics