91 search results - page 8 / 19 » The Second Calculus of Binary Relations |
ENTCS
2006
13 years 7 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
ESOP
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
FOSSACS
2011
Springer
12 years 11 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
ICC
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—An analysis of narrow- and broadband interference robustness within an On-Off Keying/Binary Pulse Position Modulation based noncoherent multiband impulse radio ultrawide...