2148 search results - page 50 / 430 » Responsiveness in Process Calculi |
TCS
2010
14 years 10 months ago
2010
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
COGSCI
2008
14 years 12 months ago
2008
According to the Perceptual Symbols Theory of cognition (Barsalou, 1999), modality-specific simulations underlie the representation of concepts. A strong prediction of this view i...
127
click to vote
LICS
2006
IEEE
15 years 5 months 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...
107
click to vote
TACS
1994
Springer
15 years 3 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
106
click to vote
ICIP
2009
IEEE
16 years 25 days ago
2009
IEEE
We present a new image restoration method based on modelling the coefficients of an overcomplete wavelet response to natural images with a mixture of two Gaussian distributions, h...