External Links

    Journal: Formal Asp. Comput.

    Volume 20, Issue 3

    239 -- 240Dines Bjørner. John Warner Backus: 3 Dec 1924-17 March 2007
    241 -- 258Julien Schmaltz, Dominique Borrione. A functional formalization of on chip communications
    259 -- 275Florian Kammüller. Formalizing non-interference for a simple bytecode language in Coq
    277 -- 294Gavin Lowe. Specification of communicating processes: temporal logic versus refusals-based refinement
    295 -- 301Steve Reeves, David Streader. Data refinement and singleton failures refinement are not equivalent
    303 -- 348Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano. Efficient representation of the attacker s knowledge in cryptographic protocols analysis
    runs on