机译:支持崩溃恢复故障模型的复制文件服务器的实现
Departamento de Ingenierfa Matematica e Informatica, Universidad Publica de Navarra, 31006 Pamplona, Spain;
Departamento de Ingenierfa Matematica e Informatica, Universidad Publica de Navarra, 31006 Pamplona, Spain;
Departamento de Ingenierfa Matematica e Informatica, Universidad Publica de Navarra, 31006 Pamplona, Spain;
Departamento de Ingenierfa Matematica e Informatica, Universidad Publica de Navarra, 31006 Pamplona, Spain;
replication protocols; crash-recovery model; group communication systems; distributed file server; state transition system; testing;
机译:支持崩溃恢复故障模型的复制文件服务器的实现
机译:在崩溃恢复故障模型中实现Omega故障检测器
机译:基于扩展的Petri网和XML工具的网络文件服务器过程的建模和实现
机译:关于碰撞恢复失败模型中欧米茄故障检测器的实现
机译:使用来自Web服务器的日志文件调查镜像服务器放置问题。
机译:ActSds和OdfSds:用于将INTERACT和Observer数据文件转换为SDIS定时事件顺序数据文件的程序
机译:在崩溃恢复故障模型中实现Omega故障检测器
机译:ada编译器验证摘要报告:证书编号:891124N1.10202 alsys Limited alsyCOmp 017 V4.3 microVaX II主机和INmOs T222 Transputer在B416 TRam(裸)上实现,使用IBm pC / aT在ms-DOs 3.1下运行INmOs Iserver V1 .41通过CapLIN QTO Board Link支持文件服务器。