LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...