On constructing optimistic simulation algorithms for the discrete event system specification

DOI10.1145/1456645.1456646zbMath1390.68745OpenAlexW1971833118WikidataQ58645299 ScholiaQ58645299MaRDI QIDQ4565407

James Nutaro

Publication date: 12 June 2018

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1456645.1456646

zbMATH Keywords

parallel simulationdiscrete event simulationdiscrete event system specificationtime warp algorithm

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: On constructing optimistic simulation algorithms for the discrete event system specification