Sciweavers

ENTCS
2007

A Well-behaved LTS for the Pi-calculus: (Abstract)

13 years 10 months ago
A Well-behaved LTS for the Pi-calculus: (Abstract)
Pawel Sobocinski
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Pawel Sobocinski
Comments (0)