External Links

    Journal: Logical Methods in Computer Science

    Volume 1, Issue 3

    0 -- 0Daniele Gorla, Matthew Hennessy, Vladimiro Sassone. Security Policies as Membranes in Systems for Global Computing
    0 -- 0Christopher Hardin. Modularizing the Elimination of r=0 in Kleene Algebra
    0 -- 0Bas Spitters. Almost periodic functions, constructively
    0 -- 0Joseph Y. Halpern, Riccardo Pucella. Probabilistic Algorithmic Knowledge
    runs on