2272 search results - page 347 / 455 » A Calculus for |
76
Voted
ENTCS
2006
15 years 22 days ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
94
Voted
ENTCS
2006
15 years 22 days ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
69
Voted
ENTCS
2006
15 years 22 days ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
106
Voted
ENTCS
2006
15 years 22 days ago
2006
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
103
click to vote
JAL
2008
15 years 22 days ago
2008
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...