Sciweavers

1399 search results - page 28 / 280
» Multi-party Finite Computations
Sort
View
DCC
2008
IEEE
14 years 9 months ago
Finite geometries
Aart Blokhuis, James W. P. Hirschfeld, Dieter Jung...
SOFSEM
2009
Springer
14 years 6 months ago
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob J. van Glabbeek
PRDC
2007
IEEE
14 years 4 months ago
On the Effects of Finite Memory on Intrusion-Tolerant Systems
Giuliana Santos Veronese, Miguel Correia, Lau Cheu...
STACS
2001
Springer
14 years 2 months ago
2-Nested Simulation Is Not Finitely Equationally Axiomatizable
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...