3239 search results - page 39 / 648 » A Logical Process Calculus |
118
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
127
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
96
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
91
Voted
TABLEAUX
2007
Springer
15 years 6 months ago
2007
Springer
62
Voted
WOLLIC
2007
Springer
15 years 6 months ago
2007
Springer
