Files in this item

FilesDescriptionFormat

application/x-tar and application/x-gzip

application/x-tar and application/x-gzipformalSemanticsOfPRS.tgz (10kB)
(no description provided)application/x-tar and application/x-gzip

Description

Title:Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, June 2011)
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:2011-06-20
Type:Other
URI:http://hdl.handle.net/2142/25444
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2011-06-20


This item appears in the following Collection(s)

Item Statistics