159 search results - page 6 / 32 » Weak Equivalences in Psi-Calculi |
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper studies the effect of heterogenous delays in networks of weakly pulse-coupled identical oscillators. We develop a new framework to study them by constructing a non-delay...
ENTCS
2008
14 years 9 months ago
2008
: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the ...
IJFCS
2006
14 years 9 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
MLQ
2008
14 years 9 months ago
2008
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its t-norm based axiomatic extensions. We consider the algebraic counterpart of...
CALCO
2005
Springer
15 years 3 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...