{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:36:59Z","timestamp":1773653819533,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642002540","type":"print"},{"value":"9783642002557","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00255-7_5","type":"book-chapter","created":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T07:12:32Z","timestamp":1233990752000},"page":"56-71","source":"Crossref","is-referenced-by-count":15,"title":["Property Specifications for Workflow Modelling"],"prefix":"10.1007","author":[{"given":"Peter Y. H.","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: Proceedings of the 21st International Conference on Software Engineering (1999)","DOI":"10.1145\/302405.302672"},{"key":"5_CR2","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergences Refinement, FDR2 User Manual (1998), http:\/\/www.fsel.com"},{"issue":"3","key":"5_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s00165-007-0065-0","volume":"20","author":"Gavin Lowe","year":"2008","unstructured":"Lowe, G.: Specification of communicating processes: temporal logic versus refusals-based refinement. Formal Aspects of Computing\u00a020(3) (2008)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"5_CR5","unstructured":"Mukarram, A.: A Refusal Testing Model for CSP. D.Phil thesis, University of Oxford (1992)"},{"key":"5_CR6","unstructured":"Object Management Group. BPMN Specification (February 2006), http:\/\/www.bpmn.org"},{"key":"5_CR7","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"ICFEM 2008","author":"P.Y.H. Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 355\u2013374. Springer, Heidelberg (2008), http:\/\/www.comlab.ox.ac.uk\/peter.wong\/pub\/bpmnsem.pdf"},{"key":"#cr-split#-5_CR9.1","unstructured":"Wong, P.Y.H., Gibbons, J.: A Relative-Timed Semantics for BPMN. In: Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, July 2008. ENTCS (2008); Invited for special issue in Science of Computer Programming, http:\/\/www.comlab.ox.ac.uk\/peter.wong\/pub\/foclasa08.pdf"},{"key":"#cr-split#-5_CR9.2","unstructured":"Invited for special issue in Science of Computer Programming, http:\/\/www.comlab.ox.ac.uk\/peter.wong\/pub\/foclasa08.pdf"},{"key":"5_CR10","unstructured":"Wong, P.Y.H., Gibbons, J.: Property Specifications for Workflow Modelling. Technical Report, University of Oxford (2008), http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/peter.wong\/pub\/psp.pdf"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00255-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T21:20:14Z","timestamp":1558128014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00255-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642002540","9783642002557"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00255-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}