Sciweavers

51 search results - page 11 / 11
» Realizability of Choreographies Using Process Algebra Encodi...
Sort
View
CI
2005
99views more  CI 2005»
13 years 4 months ago
Automatically Generating Tree Adjoining Grammars from Abstract Specifications
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...
Fei Xia, Martha Palmer, K. Vijay-Shanker