434 search results - page 40 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
133
click to vote
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
124
click to vote
TCS
2008
15 years 3 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
119
Voted
POPL
2010
ACM
16 years 21 days ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
109
click to vote
DEXAW
1997
IEEE
15 years 7 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
140
click to vote
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...