29 citations · 32 across the 9 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
A Fully Abstract Semantics for Value-passing CCS for Trees
Shichao Liu, Thomas Ehrhard, Ying Jiang
This paper provides a fully abstract semantics for value-passing CCS for trees (VCCTS). The operational semantics is given both in terms of a reduction semantics and in terms of a…
cs.LO2016
An introduction to Differential Linear Logic: proof-nets, models and antiderivatives
Thomas Ehrhard
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We…