2272 search results - page 276 / 455 » A Calculus for |
120
click to vote
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
114
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a tool, the PiVizTool, for the interactive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound...
133
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
128
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precisely: As Peirce wanted to develop a logic of relatives (i.e., relations...
158
click to vote
PACT
2007
Springer
15 years 10 months ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...