Editing Simulation (computer science) (section)

== References ==
# {{Cite conference
 | first = David
 | last = Park
 | year = 1981
 | title = Concurrency and Automata on Infinite Sequences
 | book-title = Proceedings of the 5th GI-Conference, Karlsruhe
 | series = [[Lecture Notes in Computer Science]]
 | editor = Deussen, Peter
 | pages = 167–183
 | volume = 104
 | publisher = [[Springer-Verlag]]
 | isbn = 978-3-540-10576-3
 | doi = 10.1007/BFb0017309
| url = http://wrap.warwick.ac.uk/47224/1/WRAP_Park_cs-rr-035.pdf
 }}
# {{Cite conference
 | last = van Glabbeek
 | first = R. J.
 | title = The Linear Time – Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes
 | book-title = Handbook of Process Algebra
 | chapter-url = http://boole.stanford.edu/pub/spectrum1.pdf.gz
 | chapter = 1
 | pages = 3–99
 | year = 2001
 | publisher = Elsevier
}}

{{DEFAULTSORT:Simulation Preorder}}
[[Category:Theoretical computer science]]
[[Category:Transition systems]]