{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T23:14:18Z","timestamp":1648509258320},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Software Eng"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1007\/bf02063810","type":"journal-article","created":{"date-parts":[[2005,8,12]],"date-time":"2005-08-12T16:26:57Z","timestamp":1123864017000},"page":"199-211","source":"Crossref","is-referenced-by-count":1,"title":["Developing parallel object-oriented programs in the framework of VDM"],"prefix":"10.1007","volume":"2","author":[{"given":"Lu","family":"Jian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02063810_CR1","unstructured":"Jones, C.B. (1981), \u201cDevelopment Methods for Computer Programs Including a Notion of Interference,\u201d PhD Thesis, Oxford University."},{"key":"BF02063810_CR2","unstructured":"Jones, C.B. (1983), \u201cSpecification and Design of (Parallel) Programs,\u201d InProceedings of IFIP '83, North-Holland, pp. 321\u2013332."},{"key":"BF02063810_CR3","unstructured":"Jones, C.B. (1990),Systematic Software Development Using VDM, Second Edition, Prentice-Hall."},{"key":"BF02063810_CR4","unstructured":"Jones, C.B. and R.C.F. Shaw, Eds. (1990),Case Studies in Systematic Software Development, Prentice-Hall."},{"key":"BF02063810_CR5","unstructured":"Jones, C.B. (1991), \u201cInterference Resumed,\u201d Technical Report UMCS-91-5-1, Department of Computer Science, University of Manchester."},{"key":"BF02063810_CR6","doi-asserted-by":"crossref","unstructured":"Jones, C.B. (1993a), \u201cConstraining Interference in an Object-Oriented Design Method,\u201d InTAPSOFT '93: Theory and Practice of Software Development, Lecture Notes in Computer Science, Vol. 668, M.-C. Gaudel and J.-P. Jouannaud, Eds., Springer-Verlag, pp. 136\u2013150.","DOI":"10.1007\/3-540-56610-4_61"},{"key":"BF02063810_CR7","doi-asserted-by":"crossref","unstructured":"Jones, C.B. (1993b), \u201cA Pi-Calculus Semantics for an Object-Based Design Notation,\u201d InCONCUR'93: 4th International Conference on Concurrency Theory, Lecture Notes in Computer Science, Vol. 715, E. Best, Ed., Springer-Verlag, pp. 158\u2013172.","DOI":"10.1007\/3-540-57208-2_12"},{"key":"BF02063810_CR8","doi-asserted-by":"crossref","unstructured":"Jones, C.B. (1993c), \u201cReasoning About Interference in an Object-Based Design Method,\u201d InFME'93: Industrial-Strength Formal Methods, Lecture Notes in Computer Science, Vol. 670, Springer-Verlag. pp. 1\u201318.","DOI":"10.1007\/BFb0024634"},{"key":"BF02063810_CR9","doi-asserted-by":"crossref","unstructured":"Jones, C.B. (1993d), \u201cProcess-Algebraic Foundations for an Object-Based Design Notation,\u201d Technical Report, UMCS-93-10-1, Department of Computer Science, University of Manchester.","DOI":"10.1007\/3-540-57208-2_12"},{"key":"BF02063810_CR10","unstructured":"Milner, R. (1989),Communication and Concurrency, Prentice Hall."},{"key":"BF02063810_CR11","unstructured":"Milner, R. (1991), \u201cThe Polyadic \u03c0-Calculus: A Tutorial,\u201d Research Report LFCS-91-180, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University."},{"key":"BF02063810_CR12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., J. Parrow and D. Walker (1992), \u201cA Calculus of Mobile Processes,\u201dInformation and Computation 100, 41\u201377.","journal-title":"Information and Computation"},{"key":"BF02063810_CR13","unstructured":"Stolen, K. (1990), \u201cDevelopment of Parallel Programs on Shared Data-Structures,\u201d PhD Thesis, Manchester University."},{"key":"BF02063810_CR14","unstructured":"Zwiers, J. (1988),Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Connections, Lecture Notes in Computer Science, Vol. 321, Springer-Verlag."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02063810.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02063810\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02063810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T23:15:14Z","timestamp":1586387714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02063810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["BF02063810"],"URL":"https:\/\/doi.org\/10.1007\/bf02063810","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"value":"1022-7091","type":"print"},{"value":"1573-7489","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}