427 search results - page 3 / 86 » On the Power of Labels in Transition Systems |
CONCUR
2005
Springer
13 years 11 months ago
2005
Springer
FORTEST
2008
13 years 7 months ago
2008
LICS
2000
IEEE
13 years 10 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...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
CALCO
2005
Springer
13 years 11 months ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.