Files in this item

FilesDescriptionFormat

application/x-tar and application/x-gzip

application/x-tar and application/x-gzipsemanticsOfPRS.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, November 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-11-13
Type:Other
URI:http://hdl.handle.net/2142/28350
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2011-11-14


This item appears in the following Collection(s)

Item Statistics

  • Total Downloads: 23
  • Downloads this Month: 0
  • Downloads Today: 0