125
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...