Thomas Christopher Newcomb

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
Nets with Tokens which Carry Data. Fundam. Informaticae 88 (3) (2008)
Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
Nets with Tokens Which Carry Data. ICATPN (2007)
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)
Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
On model checking data-independent systems with arrays without reset. Theory Pract. Log. Program. 4 (5-6) (2004)
Ranko Lazic, Thomas Christopher Newcomb, Bill Roscoe
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting. INFINITY (2004)