5377 search results - page 903 / 1076 » Programming Languages For Interactive Computing |
117
click to vote
PLILP
1995
Springer
15 years 6 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
148
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
141
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
133
click to vote
WICON
2008
15 years 4 months ago
2008
Integrating wireless sensor networks in heterogeneous networks is a complex task. A reason is the absence of a standardized data exchange format that is supported in all participa...
109
click to vote
IANDC
2008
15 years 3 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...