2272 search results - page 93 / 455 » A Calculus for |
139
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
152
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
178
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
193
click to vote
LICS
2006
IEEE
16 years 3 days ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
185
click to vote
CCA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...