Portal de Periódicos da CAPES

Fault Tolerant Network Declarative Programs

2012; Science Press; Volume: 23; Issue: 8 Linguagem: Inglês

10.3724/sp.j.1001.2012.04168

1000-9825

Fang Wang, Stéphane Grumbach,

Distributed and Parallel Computing Systems

This paper introduces the syntax and the distributed fixpoint semantics of a rule-based declarative language, Netlog.The strongly well-behaved programs were defined, which were proven insensitive to bounded message loss.