@inproceedings{TASE2010,
  title = "A Guarded Workflow Language and Its Formal Semantics",
  author = "Chen-Wei Wang and Jim Davies and James Welch",
  year = "2010",
  address = "Los Alamitos, CA, USA",
  isbn = "978-0-7695-4148-8",
  journal = "Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on",
  pages = "25-34",
  publisher = "IEEE Computer Society",
  doi = "10.1109/TASE.2010.21",
}