Skip to main content

Polymorphic Systems with Arrays‚ 2−Counter Machines and Multiset Rewriting

A. W. Roscoe‚ R. S. Lazic and Tom Newcomb

Book Title
Proceedings of INFINITY 2004
Year
2004