FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
