Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. About Us
  3. People
  4. Students
  5. Peter Wong
  6. Publications

Peter Wong : Publications

Click here to download all publications in a single bibtex file

@article{bpmn09,
  title = "Formalisations and Applications of BPMN",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2011",
  journal = "Science of Computer Programming",
  note = "Special issue on FOCLASA 2008",
  pages = "633-650",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/bpmn09.pdf",
  volume = "76",
  doi = "10.1016/j.scico.2009.09.010",
}
@article{ifmextend,
  title = "Property Specifications for Workflow Modelling",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2010",
  journal = "Science of Computer Programming",
  note = "Extended version. To appear.",
  doi = "10.1016/j.scico.2010.09.007",
}
@inproceedings{pattern,
  title = "Property Specifications for Workflow Modelling",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2009",
  booktitle = "Proceedings of 7th International Conference on Integrated Formal Methods",
  month = "February",
  note = "Invited for special issue in Science of Computer Programming. Technical report version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf}",
  series = "LNCS",
  volume = "5423",
  doi = "10.1007/978-3-642-00255-7_5",
}
@inproceedings{qsic2008,
  title = "Verifying Business Process Compatibility",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 8th International Conference on Quality Software.",
  month = "August",
  note = "Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing, June 2007",
  pages = "126-131",
  publisher = "IEEE Computer Society",
  url = "http://www.comlab.ox.ac.uk/peter.wong/pub/qsic2008.pdf",
  doi = "10.1109/QSIC.2008.6",
}
@inproceedings{bpmn-time,
  title = "A Relative Timed Semantics for BPMN",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.",
  month = "July",
  note = "Invited for special issue in Science of Computer Programming. A shorter version of this paper was presented at the 3rd European Young Researchers Workshop on Service Oriented Computing, London, United Kingdom, June 2008. Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf}.",
  series = "ENTCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/relative.pdf",
  volume = "229",
  doi = "10.1016/j.entcs.2009.06.029",
}
@inproceedings{transform,
  title = "On Specifying and Visualising Long-Running Empirical Studies",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations)",
  month = "July",
  note = "Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf}.",
  series = "LNCS",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/icmt2008.pdf",
  volume = "5063",
  doi = "10.1007/978-3-540-69927-9_6",
}
@inproceedings{bpmn-csp,
  title = "{A Process Semantics for BPMN}",
  author = "Peter Y.H. Wong and Jeremy Gibbons",
  year = "2008",
  booktitle = "Proceedings of 10th International Conference on Formal Engineering Methods.",
  month = "October",
  note = "Extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf}.",
  series = "LNCS",
  volume = "5256",
  doi = "10.1007/978-3-540-88194-0_22",
}
@unpublished{confirm,
  title = "{Formalisations and Applications of Business Process Modelling Notation}",
  author = "Peter Y. H. Wong",
  year = "2008",
  note = "Confirmation of Status Report",
  school = "Computing Laboratory, University of Oxford",
}
@inproceedings{workflow,
  title = "A Process-Algebraic Approach to Workflow Specification and Refinement",
  author = "Peter Y. H. Wong and Jeremy Gibbons",
  year = "2007",
  booktitle = "Proceedings of 6th International Symposium on Software Composition",
  month = "March",
  series = "LNCS",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf",
  volume = "4829",
  doi = "10.1007/978-3-540-77351-1_5",
}
@unpublished{transfer,
  title = "{Towards BPM-based Support for Clinical Trials}",
  author = "Peter Y.H. Wong",
  year = "2007",
  note = "Transfer Dissertation.",
  school = "Computing Laboratory, University of Oxford",
}
@inproceedings{sosornet,
  title = "{Towards A Unified Model for Workflow Processes}",
  author = "Peter Y. H. Wong",
  year = "2006",
  address = "Manchester, United Kingdom",
  booktitle = "1st Service-Oriented Software Research Network (SOSoRNet) Workshop",
  month = "June",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/model_abstract.pdf",
}
@mastersthesis{msc,
  title = "{An Investigation in Energy Consumption Analyses and Application-Level Prediction Techniques}",
  author = "Peter Y. H. Wong",
  year = "2006",
  address = "United Kingdom",
  month = "February",
  school = "University of Warwick",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/msc.pdf",
}
@inproceedings{crlIspa,
  title = "{CRL: A Context-aware Request Language for Mobile Computing}",
  author = "Alvin T.S. Chan and Peter Y.H. Wong and Siu Nam Chuang",
  year = "2004",
  address = "Hong Kong, China",
  booktitle = "Proceedings of 2nd International Symposium on Parallel and Distributed Processing and Applications",
  month = "December",
  series = "LNCS",
  url = "http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/crlIspa.pdf",
  volume = "3358",
}

About Us

Back to Top