Faculty Digital Archive

Archive@NYU >
Stern School of Business >
IOMS: Information Systems Working Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2451/14255

Title: EXTENDING TEMPORAL LOGIC TO SUPPORT HIGH-LEVEL SIMULATIONS
Authors: Tuzhilin, Alexander
Issue Date: 1993
Publisher: Stern School of Business, New York University
Series/Report no.: IS-93-19
Abstract: A high-level simulation language based on temporal logic is described. The language combines a large set of temporal tenses and a rich class of high-level modeling primitives. Also an implementation of the language interpreter is presented. Finally. a real-world case study is described that shows how a programmer can develop structured, reliable, and well-maintainable simulation programs using the language.
URI: http://hdl.handle.net/2451/14255
Appears in Collections:IOMS: Information Systems Working Papers

Files in This Item:

File Description SizeFormat
IS-93-19.pdf6.43 MBAdobe PDFView/Open

Items in Faculty Digital Archive are protected by copyright, with all rights reserved, unless otherwise indicated.

 

The contents of the FDA may be subject to copyright, be offered under a Creative Commons license, or be in the public domain.
Please check items for rights statements. For information about NYU’s copyright policy, see http://www.nyu.edu/footer/copyright-and-fair-use.html 
Valid XHTML 1.0 | CSS