550 search results - page 70 / 110 » Context Semantics, Linear Logic and Computational Complexity |
107
click to vote
WOLLIC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
SPE
2002
14 years 9 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
WS
2010
ACM
14 years 8 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
CONCUR
2005
Springer
15 years 3 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...