{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:13Z","timestamp":1742598613976,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585558"},{"type":"electronic","value":"9783540490319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58555-9_101","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:35:55Z","timestamp":1330274155000},"page":"291-305","source":"Crossref","is-referenced-by-count":2,"title":["Applying a concurrent formal framework to process modelling"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Keane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. C.","family":"Warboys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli, Now You May Compose Temporal Logic Specifications, Proc. of 16th ACM Symp. on Theory of Computing, 1984.","DOI":"10.1145\/800057.808665"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"N. Belkhatir, J. Estublier and W. L. Melo, Software Process Model and Work Space Control in the Adele System, Proc. of the Second International Conference on the Software Process, Berlin, Germany, 1993.","DOI":"10.1109\/SPCON.1993.236826"},{"key":"19_CR3","volume-title":"Software Process Modelling and Technology","author":"R. F. Bruynoghe","year":"1994","unstructured":"R. F. Bruynoghe, R. M. Greenwood, I. Robertson, J. Sa and B. C. Warboys, PADM: Towards a Total Process Modelling System, in Software Process Modelling and Technology, A. Finkelstein, J. Kramer and B. Nuseibeh (Eds.), Research Studies Press, Wiley, 1994."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"R. F. Bruynoghe, J. M. Parker, and J. S. Rowles, PSS: A System for Process Enactment, Proc. of the First International Conference on the Software Process, Manufacturing Complex Systems, IEEE Press, 1991.","DOI":"10.1109\/ICSP.1991.664345"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"R. Conradi, M. L. Jaccheri, C. Mazzi, M. N. Nguyen and A. Aarsten, Design, Use and Implementation of SPELL, a Language for Software Process Modeling and Evolution, Proc. of the Second European Workshop on Software Process Technology-EWSPT'92, Trondheim, Norway, 1992.","DOI":"10.1007\/BFb0017519"},{"key":"19_CR6","unstructured":"C. Fernstr\u00f6m, PROCESS WEAVER: Adding Process Support to UNIX, Proc. of the Second International Conference on the Software Process, Berlin, Germany, 1993."},{"key":"19_CR7","unstructured":"C.B. Jones, Systematic Software Development Using VDM, Prentice-Hall, 1990."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"C.B. Jones, Tentative Steps Toward a Development Method for Interfering Programs, ACM TOPLAS 5(4), 1983.","DOI":"10.1145\/69575.69577"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"J. A. Keane and W. Hussak, A Formal Approach to Parallel Resource Bindings, Proc. 16th Int. Conf. on Software Engineering \u2014 ICSE-16, pp. 15\u201322, IEEE Press, 1994.","DOI":"10.1109\/ICSE.1994.296762"},{"key":"19_CR10","unstructured":"L. Lamport, What Good is Temporal Logic?, Information Processing 83, R.E.A. Mason (Ed.), pp. 657\u2013668, IFIP, 1983."},{"key":"19_CR11","unstructured":"J. Sa and B. C. Warboys, Specifying Concurrent Object-based Systems using Combined Specification Notations, Technical Report UMCS-91-7-2, Department of Computer Science, University of Manchester, July 1991."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"J. Sa and B. C. Warboys, Integrating a Formal Specification Method with PML: A Case Study, Proc. of the 2nd European Workshop on Software Process Technology \u2014 EWSPT'92, LNCS-635, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0017510"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"J. Sa and B. C. Warboys, Modelling Processes using a Stepwise Refinement Technique, Proc. of the 4th European Workshop on Software Process Technology \u2014 EWSPT'94, LNCS-772, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-57739-4_7"},{"key":"19_CR14","unstructured":"J. Sa and B. C. Warboys, A Formal Description of the ISPW-6 Software Process Example, Technical Report Series UMCS-93-6-1, Department of Computer Science, University of Manchester, June 1993."},{"key":"19_CR15","unstructured":"J. Sa, OBM: A Tutorial, Project Report, Department of Computer Science, University of Manchester, April 1993."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"P. Wegner, Dimensions of Object-Based Language Design, Proc. of OOPSLA'87, 1987.","DOI":"10.1145\/38765.38823"}],"container-title":["Lecture Notes in Computer Science","FME '94: Industrial Benefit of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58555-9_101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:36:01Z","timestamp":1742596561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58555-9_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585558","9783540490319"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58555-9_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}