{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T17:54:39Z","timestamp":1649181279972},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,11,1]],"date-time":"1996-11-01T00:00:00Z","timestamp":846806400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1996,11]]},"DOI":"10.1007\/bf00122084","type":"journal-article","created":{"date-parts":[[2004,10,31]],"date-time":"2004-10-31T02:48:16Z","timestamp":1099190896000},"page":"263-302","source":"Crossref","is-referenced-by-count":1,"title":["Regrouping parallel processes"],"prefix":"10.1007","volume":"9","author":[{"given":"T.","family":"Bolognesi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"R. Balzer, N. Goldman, and D. Wile, ?On the transformational implementation approach to programming,? in Proceedings of 2nd International Conference on Software Engineering, IEEE, New-York, 1976, pp. 337?344."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"F.L. Bauer, ?Programming as an evolutionary process,? in Language Hierarchies and Interfaces, F.L. Bauer and K. Samelson (Eds.), Lecture Notes in Computer Science, Vol. 46, pp. 153?182, Springer-Verlag, 1976.","DOI":"10.1007\/3-540-07994-7_53"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"T. Bolognesi, ?A graphical composition theorem for networks of LOTOS processes,? Proceedings of the 10th International Conference on Distributed Computing Systems, IEEE Computer Society Press, 1990.","DOI":"10.1109\/ICDCS.1990.89288"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"T. Bolognesi, ?Deriving graphical representations of process networks from algebraic expressions,? Information Processing Letters, North-Holland, Vol. 46, pp. 289?294, 1993.","DOI":"10.1016\/0020-0190(93)90067-J"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"T. Bolognesi and E. Brinksma, ?Introduction to the ISO specification language LOTOS,? Computer Networks and ISDN Systems, North-Holland, Vol. 14, No. 1, 1987.","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"CR6","volume-title":"LOTOSphere: Software Development with LOTOS","year":"1995","unstructured":"T. Bolognesi, J.V.D. Lagemaat and C. Vissers (Eds.), LOTOSphere: Software Development with LOTOS, Kluwer Academic Publishers, Boston, Dordrecht, London, 1995."},{"key":"CR7","unstructured":"E. Brinksma (Ed.), ISO?Information Processing Systems?Open Systems Interconnection?LOTOS?A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO IS8807, Feb. 1989, ISO, Geneva."},{"key":"CR8","unstructured":"M. Caneve and E. Salvatori (Eds.), ?Lite User Manual,? ESPRIT Project 2304-LotoSphere, doc. Lo\/WP2\/N0034\/V08, March 1992."},{"issue":"No. 8","key":"CR9","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, ?Communicating sequential processes,? Comm. ACM, Vol. 21, No. 8, pp. 666?677, 1978.","journal-title":"Comm. ACM"},{"key":"CR10","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall International, 1985."},{"key":"CR11","unstructured":"J. Hinterplattner, H. Nirschl, and H. Saria, ?Process topology diagrams,? in J. Quemada et al. (Eds.), Formal Description Techniques III, North-Holland, pp. 443?458, 1991."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"D.B. Loveman, ?Program improvement by source-to-source transformation,? in J. ACM, Vol. 24, No. 1, pp. 121?145, 1977.","DOI":"10.1145\/321992.322000"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"R. Milner, ?A calculus of communicating systems,? Lecture Notes in Computer Science, No. 92, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"G. Milne and R. Milner, ?Concurrent processes and their syntax,? Journal of the ACM, Vol. 26, No. 2, April 1979.","DOI":"10.1145\/322123.322134"},{"key":"CR15","unstructured":"E. Najm (Ed.), ?G-LOTOS?DAM1 to IS8807 on graphical representations for LOTOS,? ISO\/IEC JTC1\/SC21 N4871, Jan. 1992."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"D.M.R. Park, ?Concurrency and automata on infinite sequences,? Lecture Notes in Computer Science, No. 104, pp. 167?183, Springer-Verlag, 1981.","DOI":"10.1007\/BFb0017309"},{"issue":"No. 3","key":"CR17","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"H. Partsch","year":"1983","unstructured":"H. Partsch and R. Steinbr\u00fcggen, ?Program transformation systems,? ACM Computing Surveys, Vol. 15, No. 3, pp. 199?236, 1983.","journal-title":"ACM Computing Surveys"},{"key":"CR18","unstructured":"J. Schot, ?The Role of Architectural Semantics in the Formal Approach of Distributed Systems Design,? Ph.D. Thesis, Univ. of Twente, 1990."},{"key":"CR19","unstructured":"M. Van Sinderen, ?A verification exercise relating to specification styles in LOTOS,? Memoranda Informatica-89-18, Dept. of Computer Science, Univ. of Twente, March 1989."},{"key":"CR20","unstructured":"C.A. Vissers, G. Scollo, and M. Van Sinderen, ?Architecture and specification style in formal descriptions of distributed systems,? in S. Aggarwal and K. Sabnani (Eds.), Protocol Specification, Testing, and Verification VIII, North-Holland, pp. 189?204, 1988."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","volume":"89","author":"C.A. Vissers","year":"1991","unstructured":"C.A. Vissers, G. Scollo, M.Van Sinderen, and E. Brinksma, ?Specification styles in distributed systems design and verification,? Theoretical Computer Science, Vol. 89, pp. 179?206, 1991.","journal-title":"Theoretical Computer Science"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"P. Van Eijk and J. Schot: ?An exercise in protocll synthesis,? in K. Parker and G. Rose (Eds.), Formal Description Techniques IV, IFIP Transactions C-2 (Proceed. Fourth International Conference on Formal Description Techniques, FORTE'91), North-Holland, 1992, pp. 117?132.","DOI":"10.1016\/B978-0-444-89402-1.50019-9"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00122084.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00122084\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00122084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T05:14:56Z","timestamp":1554268496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00122084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,11]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,11]]}},"alternative-id":["BF00122084"],"URL":"https:\/\/doi.org\/10.1007\/bf00122084","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,11]]}}}