Skip to main content

On Timed Models and Full Abstraction

Gavin Lowe and Joël Ouaknine

Journal
Electr. Notes Theor. Comput. Sci.
Pages
497−519
Volume
155
Year
2006