Interaction Abstract Machines

This chapter contains sections titled: Introduction, Interaction Abstract Machines, Examples, Comparison to Other Models, Conclusion and Future Work, Acknowledgements, References