290 search results - page 32 / 58 » A Denotational Semantics for Handel-C |
111
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
ICDT
2005
ACM
15 years 5 months ago
2005
ACM
What does a data stream mean? Much of the extensive work on query operators and query processing for data streams has proceeded without the benefit of an answer to this question. ...
102
click to vote
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
CCS
2009
ACM
16 years 12 days ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
101
click to vote
KI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...