| 2007 |
|---|
| 4 | EE | Ranko Lazic,
Thomas Christopher Newcomb,
Joël Ouaknine,
A. W. Roscoe,
James Worrell:
Nets with Tokens Which Carry Data.
ICATPN 2007: 301-320 |
| 2005 |
|---|
| 3 | EE | Ranko Lazic,
Thomas Christopher Newcomb,
Bill Roscoe:
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting.
Electr. Notes Theor. Comput. Sci. 138(3): 61-86 (2005) |
| 2004 |
|---|
| 2 | EE | Ranko Lazic,
Thomas Christopher Newcomb,
A. W. Roscoe:
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations.
25 Years Communicating Sequential Processes 2004: 275-291 |
| 1 | | Ranko Lazic,
Thomas Christopher Newcomb,
A. W. Roscoe:
On model checking data-independent systems with arrays without reset.
TPLP 4(5-6): 659-693 (2004) |
