Sciweavers

FSTTCS
2005
Springer
13 years 8 months ago
Decision Procedures for Queues with Integer Constraints
Ting Zhang, Henny B. Sipma, Zohar Manna
FSTTCS
2005
Springer
13 years 8 months ago
From Logic to Games
Igor Walukiewicz
FSTTCS
2005
Springer
13 years 8 months ago
Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems
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...
Sathya Peri, Neeraj Mittal
FSTTCS
2005
Springer
13 years 8 months ago
Non-disclosure for Distributed Mobile Code
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...
Ana Almeida Matos
FSTTCS
2005
Springer
13 years 8 months ago
The MSO Theory of Connectedly Communicating Processes
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 ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
FSTTCS
2005
Springer
13 years 8 months ago
Quantitative Models and Implicit Complexity
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...
Ugo Dal Lago, Martin Hofmann
FSTTCS
2005
Springer
13 years 8 months ago
On Sampled Semantics of Timed Systems
Pavel Krcál, Radek Pelánek