2 papers
q-fin.TR2024
Limit Order Book Simulations: A Review
Konark Jain, Nick Firoozye, Jonathan Kochems +1
Limit Order Books (LOBs) serve as a mechanism for buyers and sellers to interact with each other in the financial markets. Modelling and simulating LOBs is quite often necessary fo…
cs.LO2014
Decidable Models of Recursive Asynchronous Concurrency
Jonathan Kochems, C. -H. Luke Ong
Asynchronously communicating pushdown systems (ACPS) that satisfy the empty-stack constraint (a pushdown process may receive only when its stack is empty) are a popular decidable m…