703 search results - page 12 / 141 » Fundamentals of Session Types |
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—It is often claimed that future systems will necessarily be all-optical, because electronic devices are not fast enough to keep up with the increase in fiber capacity. ...
IJUFKS
2007
13 years 7 months ago
2007
Media theory is a new branch of discrete applied mathematics originally developed in mid-nineties to deal with stochastic evolution of preference relations in political science an...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
IJAR
2007
13 years 7 months ago
2007
Pseudo-independent (PI) models are a special class of probabilistic domain model (PDM) where a set of marginally independent domain variables shows collective dependency, a specia...