Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054237002> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2054237002 endingPage "51" @default.
- W2054237002 startingPage "3" @default.
- W2054237002 abstract "A logic-based foundation of discrete event modeling and simulation is presented by defining (1) its fundamental concepts and terms from a perspective commonly held by logicians, (2) a modal Discrete Event Logic L DE . The ways of expressing models using L DE are discussed and compared with the ways of expressing models in simulation languages that support the event scheduling world view. The logic-based foundation provides fundamentally new insights. It asserts that events are logical propositions and the use of temporal operators is implicit in discrete event modeling and simulation languages. However, existing languages utilize only a few temporal operators in a restricted manner. The logic-based foundation enhances the ways of expressing models by using the operators implicit in existing languages in more general ways, new operators, and a parallel connective ||. The logic L DE and notions implicit in it form a new framework for understanding, defining, and studying logical combinations of events, variables, and time, and expressions containing a wide range of temporal operators including next, if, when, whenever, until, while, unless, and at." @default.
- W2054237002 created "2016-06-24" @default.
- W2054237002 creator A5024919042 @default.
- W2054237002 creator A5050110525 @default.
- W2054237002 date "1994-01-01" @default.
- W2054237002 modified "2023-09-23" @default.
- W2054237002 title "A logic-based foundation of discrete event modeling and simulation" @default.
- W2054237002 cites W2005678616 @default.
- W2054237002 cites W2073559935 @default.
- W2054237002 cites W2078727257 @default.
- W2054237002 cites W2086729363 @default.
- W2054237002 cites W2122540544 @default.
- W2054237002 cites W2806619258 @default.
- W2054237002 cites W4211142623 @default.
- W2054237002 cites W4236828747 @default.
- W2054237002 cites W4250530866 @default.
- W2054237002 doi "https://doi.org/10.1145/174619.174620" @default.
- W2054237002 hasPublicationYear "1994" @default.
- W2054237002 type Work @default.
- W2054237002 sameAs 2054237002 @default.
- W2054237002 citedByCount "18" @default.
- W2054237002 countsByYear W20542370022014 @default.
- W2054237002 countsByYear W20542370022015 @default.
- W2054237002 crossrefType "journal-article" @default.
- W2054237002 hasAuthorship W2054237002A5024919042 @default.
- W2054237002 hasAuthorship W2054237002A5050110525 @default.
- W2054237002 hasBestOaLocation W20542370021 @default.
- W2054237002 hasConcept C102993220 @default.
- W2054237002 hasConcept C121332964 @default.
- W2054237002 hasConcept C12713177 @default.
- W2054237002 hasConcept C147203929 @default.
- W2054237002 hasConcept C154945302 @default.
- W2054237002 hasConcept C185592680 @default.
- W2054237002 hasConcept C188027245 @default.
- W2054237002 hasConcept C199360897 @default.
- W2054237002 hasConcept C203659156 @default.
- W2054237002 hasConcept C20693621 @default.
- W2054237002 hasConcept C21847791 @default.
- W2054237002 hasConcept C25016198 @default.
- W2054237002 hasConcept C27508121 @default.
- W2054237002 hasConcept C2779662365 @default.
- W2054237002 hasConcept C41008148 @default.
- W2054237002 hasConcept C44154836 @default.
- W2054237002 hasConcept C62520636 @default.
- W2054237002 hasConcept C71139939 @default.
- W2054237002 hasConcept C78344899 @default.
- W2054237002 hasConcept C80444323 @default.
- W2054237002 hasConceptScore W2054237002C102993220 @default.
- W2054237002 hasConceptScore W2054237002C121332964 @default.
- W2054237002 hasConceptScore W2054237002C12713177 @default.
- W2054237002 hasConceptScore W2054237002C147203929 @default.
- W2054237002 hasConceptScore W2054237002C154945302 @default.
- W2054237002 hasConceptScore W2054237002C185592680 @default.
- W2054237002 hasConceptScore W2054237002C188027245 @default.
- W2054237002 hasConceptScore W2054237002C199360897 @default.
- W2054237002 hasConceptScore W2054237002C203659156 @default.
- W2054237002 hasConceptScore W2054237002C20693621 @default.
- W2054237002 hasConceptScore W2054237002C21847791 @default.
- W2054237002 hasConceptScore W2054237002C25016198 @default.
- W2054237002 hasConceptScore W2054237002C27508121 @default.
- W2054237002 hasConceptScore W2054237002C2779662365 @default.
- W2054237002 hasConceptScore W2054237002C41008148 @default.
- W2054237002 hasConceptScore W2054237002C44154836 @default.
- W2054237002 hasConceptScore W2054237002C62520636 @default.
- W2054237002 hasConceptScore W2054237002C71139939 @default.
- W2054237002 hasConceptScore W2054237002C78344899 @default.
- W2054237002 hasConceptScore W2054237002C80444323 @default.
- W2054237002 hasIssue "1" @default.
- W2054237002 hasLocation W20542370021 @default.
- W2054237002 hasOpenAccess W2054237002 @default.
- W2054237002 hasPrimaryLocation W20542370021 @default.
- W2054237002 hasRelatedWork W1582268538 @default.
- W2054237002 hasRelatedWork W1586491492 @default.
- W2054237002 hasRelatedWork W2005263036 @default.
- W2054237002 hasRelatedWork W2028942690 @default.
- W2054237002 hasRelatedWork W2034193863 @default.
- W2054237002 hasRelatedWork W2054237002 @default.
- W2054237002 hasRelatedWork W2077061463 @default.
- W2054237002 hasRelatedWork W2101793126 @default.
- W2054237002 hasRelatedWork W1737749028 @default.
- W2054237002 hasRelatedWork W2138716118 @default.
- W2054237002 hasVolume "4" @default.
- W2054237002 isParatext "false" @default.
- W2054237002 isRetracted "false" @default.
- W2054237002 magId "2054237002" @default.
- W2054237002 workType "article" @default.