| 7685566 |
Structured message process calculus |
Allen L. Brown, Cosimo Laneve |
2010-03-23 |
| 7503033 |
Model for business workflow processes |
Amit Mital, Marc Levy, Brian C. Beckman, Anthony D. Andrews |
2009-03-10 |
| 7467206 |
Reputation system for web services |
George M. Moore |
2008-12-16 |
| 7467371 |
Binding for business workflow processes |
Marc Levy, Brian C. Beckman, Anthony D. Andrews, Bimal Mehta, Mitra Kanchan |
2008-12-16 |
| 7409671 |
Model for business workflow processes |
Amit Mital, Marc Levy, Brian C. Beckman, Anthony D. Andrews |
2008-08-05 |
| 7380166 |
Compensation framework for long running transactions |
Satish R. Thatte, Marc Levy, Bimal Mehta, Johannes Klein, Anthony D. Andrews |
2008-05-27 |
| 7376663 |
XML-based representation of mobile process calculi |
— |
2008-05-20 |
| 7376547 |
Systems and methods that facilitate quantum computer simulation |
— |
2008-05-20 |
| 7184967 |
System and method utilizing a graphical user interface of a business process workflow scheduling program |
Amit Mital, Marc Levy, Brian C. Beckman, Anthony D. Andrews, Terry J. Myerson |
2007-02-27 |
| 6918053 |
Compensation framework for long running transactions |
Satish R. Thatte, Marc Levy, Bimal Mehta, Johannes Klein, Anthony D. Andrews |
2005-07-12 |
| 6625602 |
Method and system for hierarchical transactions and compensation |
Amit Mital, Marc Levy, Brian C. Beckman, Anthony D. Andrews, Bimal Mehta |
2003-09-23 |
| 6516322 |
XML-based representation of mobile process calculi |
— |
2003-02-04 |
