Search IDEALS This Collection

Computer Science Research and Tech Reports

Recent Additions

[2010-02-05] An Overview of the K Semantic Framework

Roșu, Grigore (2010-02-05)

PDF (748KB)
[2010-02-04] Source Code for an Executable Formal Semantics of Production Rule Sets in Maude; with Examples

Katelman, Michael; Keller, Sean; Meseguer, Jose (2010-02-03)

Unknown (26KB)
[2010-01-28] Incremental pattern-based coinduction for process algebra and its Isabelle formalization

Popescu, Andrei; Gunter, Elsa (2010-01-28)

PDF (325KB)
[2010-01-28] The Isabelle formalization of an incremental coniductive proof system

Popescu, Andrei (2010-01-28)

application/zip (772KB)
[2010-01-26] Stabilizing Route Selection in BGP

Godfrey, Philip Brighten; Caesar, Matthew; Haken, Ian; Singer, Yaron; Shenker, Scott; Stoica, Ion (2010-01-26)

PDF (272KB)