4 search results - page 1 / 1 » Universal concurrent constraint programing: symbolic semanti... |
SAC
2008
ACM
13 years 4 months ago
2008
ACM
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
POPL
2012
ACM
12 years 15 days ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...