2643 search results - page 39 / 529 » Higher order messaging |
195
click to vote
UC
2009
Springer
16 years 12 days ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
147
click to vote
APLAS
2009
ACM
16 years 11 days ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
157
Voted
ICC
2008
IEEE
16 years 9 days ago
2008
IEEE
— In 1982 Ungerboeck presented a set-partitioning design technique for trellis coded modulation (TCM). Although this technique directly assigns constellation points to the branch...
178
Voted
LICS
2008
IEEE
16 years 8 days 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...