2272 search results - page 346 / 455 » A Calculus for |
95
Voted
ENTCS
2008
15 years 24 days ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
94
Voted
ENTCS
2008
15 years 24 days ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
89
Voted
IANDC
2008
15 years 24 days ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
83
Voted
IANDC
2008
15 years 24 days ago
2008
In this paper, we study sixteen communication primitives, arising from the combination of four useful programming features: synchronism (synchronous vs asynchronous primitives), a...
87
Voted
IGPL
2008
15 years 22 days ago
2008
In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: (i) given an unprovable sequent G, find a sentence H such ...