9370 search results - page 2 / 1874 » An Abstract Notion of Application |
101
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Inf...
147
Voted
ISMVL
2005
IEEE
15 years 9 months ago
2005
IEEE
99
Voted
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
140
Voted
CTRS
1994
15 years 7 months ago
1994
135
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...