activity
20002005
most citedA Trace Logic for Local Security Properties

3 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2001

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling

Annalisa Bossi, Sandro Etalle, Sabina Rossi +1

In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed to a fixed…