1938 search results - page 9 / 388 » On Positive Relational Calculi |
110
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
107
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
137
click to vote
CMSB
2007
Springer
15 years 10 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
122
click to vote
TROB
2008
15 years 3 months ago
2008
Abstract--This paper presents a relational positioning methodology that allows to restrict totally or partially the movements of an object by specifying its allowed positions in te...