Faraz Ahmadi Torshizi

According to our database, Faraz Ahmadi Torshizi authored at least 3 papers between 2007 and 2009.

Collaborative distances:

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

2009

Beyond contracts for concurrency.

Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller

Formal Aspects Comput., 2009

The SCOOP Concurrency Model in Java-like Languages.

Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

2007

Testable Requirements and Specifications.

Jonathan S. Ostroff, Faraz Ahmadi Torshizi

Proceedings of the Tests and Proofs - 1st International Conference, 2007