51 search results - page 11 / 11 » Realizability of Choreographies Using Process Algebra Encodi... |
140
Voted
CI
2005
15 years 2 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...