2272 search results - page 72 / 455 » A Calculus for |
132
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
143
Voted
ACTA
2005
15 years 3 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
133
Voted
JLP
2007
15 years 3 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
125
click to vote
LOGCOM
2007
15 years 3 months ago
2007
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
110
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
The deterministic network calculus offers an elegant framework for determining delays and backlog in a network with deterministic service guarantees to individual traffic flows. T...