65
Voted
ENTCS
2010
15 years 22 days ago
2010
71
Voted
ENTCS
2010
15 years 22 days ago
2010
A polarized strong category consists of a cartesian category, X, and a category Y, together with a module M : X
ENTCS
2010
15 years 22 days ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
101
click to vote
ENTCS
2010
15 years 22 days ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
66
Voted
ENTCS
2010
15 years 22 days ago
2010
106
Voted
ENTCS
2010
15 years 22 days ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
111
click to vote
ENTCS
2010
15 years 22 days ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
92
Voted
ENTCS
2010
15 years 22 days ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
95
Voted
ENTCS
2010
15 years 22 days ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...
73
Voted
ENTCS
2010
15 years 22 days ago
2010