Volume 96; Issue none

1

A Hierarchy of Failures-Based Models

Year:
2004
Language:
english
File:
PDF, 316 KB
english, 2004
2

Axioms for Probability and Nondeterminism

Year:
2004
Language:
english
File:
PDF, 295 KB
english, 2004
3

Adjuncts elimination in the static ambient logic

Year:
2004
Language:
english
File:
PDF, 225 KB
english, 2004
4

Event Structures for Interrupt Process Algebras

Year:
2004
Language:
english
File:
PDF, 282 KB
english, 2004
6

Nested Semantics over Finite Trees are Equationally Hard: Invited Talk

Year:
2004
Language:
english
File:
PDF, 79 KB
english, 2004
7

Foreword

Year:
2004
Language:
english
File:
PDF, 66 KB
english, 2004
8

On the Computational Strength of Pure Ambient Calculi

Year:
2004
Language:
english
File:
PDF, 273 KB
english, 2004