Author:
Swain Sujata,Niyogi Rajdeep
Publisher
Springer International Publishing
Reference17 articles.
1. Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for business processes based on choreographies. In: 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE’04, pp. 359–368. IEEE (2004)
2. Koehler, J., Srivastava, B.: Planning with communicating automata. Technical Report, RI08006 (2008)
3. Hopcroft, J.E.: Introduction to automata theory, languages, and computation. Pearson Education, India (1979)
4. Holzmann, G.J.: Software model checking with spin. Adv. Comput. 65, 77–108 (2005)
5. Rinderle, S., Wombacher, A., Reichert, M.: Evolution of process choreographies in dychor. In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, pp. 273–290. Springer, Berlin (2006)