10666 search results - page 1607 / 2134 » Quantum programming languages |
186
click to vote
ICALP
2004
Springer
16 years 9 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
177
click to vote
ICALP
2004
Springer
16 years 9 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
214
click to vote
ICALP
2004
Springer
16 years 9 days ago
2004
Springer
We study graph orientations that minimize the entropy of the in-degree sequence. The problem of finding such an orientation is an interesting special case of the minimum entropy ...
164
click to vote
IFIP
2004
Springer
16 years 8 days ago
2004
Springer
: This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality...
136
click to vote
IFIP
2004
Springer
16 years 8 days ago
2004
Springer
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...