Browse by Subject "Safety properties"

  • Rocha, Camilo; Meseguer, José (2010-11-18)
    Rewriting logic theories are a general and expressive way of specifying concurrent systems, where states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. In this paper, we ...

    application/pdf

    application/pdfPDF (685Kb)