@InProceedings{ankolekar02a,
  author =	 {Anupriya Ankolekar and Frank Huch and Katia Sycara},
  title =	 {Concurrent Execution Semantics for {DAML-S} with
                  Subtypes},
  googleid =	 {jrW8Hf1lIIMJ:scholar.google.com/},
  booktitle =	 {Proceedings of The First International Semantic Web
                  Conference },
  year =	 2002,
  month =	 {June},
  abstract =	 {The DARPA Agent Markup Language ontology for
                  Services (DAML-S) enable the description of
                  Web-based services, such that they can be
                  discovered, accessed and composed dynamically by
                  intelligent software agents and other Web services,
                  thereby facilitatin the coordination between
                  distributed, heterogeneous systems on the Web. We
                  describe a formalised syntax and an initial
                  reference semantics for DAML-S, which incorporates
                  subtype polymorphism. We contrast our semantics with
                  n alternate semantics proposed for DAML-S, based on
                  the situation calculus and Petri nets.},
  keywords =     {workflow sweb},
  url =		 {http://jmvidal.cse.sc.edu/library/ankolekar02a.pdf},
  cluster = 	 {9448664156023338382}
}