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

All items in Faculty Digital Archive are protected by copyright, with all rights reserved.

 

The contents of this archive are either in the public domain or subject to copyright. Please consult NYU's "Handbook for Use of Copyrighted Materials" (http://library.nyu.edu/copyright/copyright.html) for information on using material within the Faculty Digital Archive.
Valid XHTML 1.0 | CSS