@InProceedings{singh03a,
  author =	 {Munindar P. Singh},
  title =	 {Distributed enactment of multiagent workflows:
                  temporal logic for web service composition},
  googleid =	 {ZJZBjYJHBvgJ:scholar.google.com/},
  booktitle =	 {Proceedings of the second international joint
                  conference on Autonomous agents and multiagent
                  systems},
  year =	 2003,
  pages =	 {907--914},
  location =	 {Melbourne, Australia},
  doi =		 {10.1145/860575.860721},
  publisher =	 {ACM Press},
  abstract =	 {We address the problem of constructing multiagent
                  systems by coordinating heterogeneous, autonomous
                  agents, whose internal designs may not be fully
                  known. A major application area is Web service
                  composition. We develop an approach that (a) takes
                  declarative specifications of the desired
                  interactions, and (b) automatically enacts them. Our
                  approach is based on temporal logic, has a rigorous
                  semantics, and yields a naturally distributed
                  execution.},
  keywords =     {multiagent workflow},
  url =		 {http://jmvidal.cse.sc.edu/library/singh03a.pdf},
  cluster = 	 {17872050797307598436}
}