Tony Andrews

According to our database, Tony Andrews authored at least 3 papers between 2001 and 2004.

Collaborative distances:

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

2004

Zing: Exploiting Program Structure for Model Checking Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Zing: A Model Checker for Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2001

BizTalk Server 2000 Business Process Orchestration.

Bimal Metha, Marc Levy, Greg Meredith, Tony Andrews, Brian Beckman, Johannes Klein, Amit Mital

IEEE Data Eng. Bull., 2001