Thomas Christopher Newcomb

According to our database, Thomas Christopher Newcomb authored at least 4 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Nets with Tokens Which Carry Data.

Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2004

On model checking data-independent systems with arrays without reset.

Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe

Theory Pract. Log. Program., 2004

Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting.

Ranko Lazic, Thomas Christopher Newcomb, Bill Roscoe

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations.

Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004