Skip navigation
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 FDA are protected by copyright, with all rights reserved, unless otherwise indicated.