Files in this item

FilesDescriptionFormat

application/octet-stream

application/octet-streamformalSemanticsOfPRS.tgz (26kB)
(no description provided)Unknown

Description

Title:Source Code for an Executable Formal Semantics of Production Rule Sets in Maude; with Examples
Author(s):Katelman, Michael; Keller, Sean; Meseguer, José
Subject(s):PRS; Maude, Executable Formal Semantics, Asynchronous VLSI
Abstract:We give source code for an executable formal semantics of production rule sets (PRS) in Maude, along with several example circuits that can be model checked for hazard-free and deadlock-free operation using our semantics and Maude's search command.
Issue Date:2010-02-03
Genre:Other
Type:Other
URI:http://hdl.handle.net/2142/14863
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2010-02-04


This item appears in the following Collection(s)

Item Statistics