PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Nigam, Anil"

Author of the publication

copydeleteadd this publication to your clipboard
A Model and Proof Technique for Message-Based Systems.

, and . SIAM J. Comput., 9 (4): 768-784 (1980)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Nigam, Anil
add a person with the name Nigam, Anil
 

Other publications of authors with the same name

Facilitating Workflow Interoperation Using Artifact-Centric Hubs., , and . ICSOC/ServiceWave, volume 5900 of Lecture Notes in Computer Science, page 1-18. (2009)Business Artifact-Centric Modeling for Real-Time Performance Monitoring., , , , and . BPM, volume 6896 of Lecture Notes in Computer Science, page 265-280. Springer, (2011)A Model and Proof Technique for Message-Based Systems., and . SIAM J. Comput., 9 (4): 768-784 (1980)Modeling Business Services for Implementing on Global Business Services Delivery Platforms., and . CEC/EEE, page 577-583. IEEE Computer Society, (2007)Business artifacts: An approach to operational specification., and . IBM Systems Journal, 42 (3): 428-445 (2003)Towards a Method for Realizing Sustained Competitive Advantage through Business Entity Analysis., , , , and . BMMDS/EMMSAD, volume 81 of Lecture Notes in Business Information Processing, page 216-230. Springer, (2011)Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles., , , , , , , , , and 1 other author(s). WS-FM, volume 6551 of Lecture Notes in Computer Science, page 1-24. Springer, (2010)Uniform Modeling of Resources and Business Processes Using Business Entities., , , and . IEEE SCC, page 693-700. IEEE Computer Society, (2011)A Framework for Understanding Distributed (Deadlock Detection) Algorithms., , , and . PODS, page 192-202. ACM, (1983)Qualitative Astrophysics., and . ECAI, page 470-472. (1990)