Skip to content

On Bisimilarity and Substitution in Presence of Replication.

Daniel Hirschkoff, Damien Pous

VenueA*ICALP
Year2010
ProceedingsICALP (2)

Browse the full ICALP paper archive.