{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:41:40Z","timestamp":1743154900537,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410201"},{"type":"electronic","value":"9783540452638"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-45263-x_18","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T01:15:42Z","timestamp":1185844542000},"page":"284-298","source":"Crossref","is-referenced-by-count":3,"title":["GCCS: A Graphical Coordination Language for System Specification"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[]},{"given":"Xiaoqun","family":"Du","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"18_CR1","unstructured":"F. Arbab, J.W. de Bakker, M.M. Bonsangue, J.J.M.M. Rutten, A. Scutella, and G. Zavattaro. A transition system semantics for the control-driven coordination language Manifold. Theoretical Computer Science, 2000. To appear."},{"issue":"3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"R. Allen and D. Garlan. A formal basis for architectural connection. ACM Trans. on Software Engineering and Methodology., 6(3):213\u2013249, 1997.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/cpe.4330050103","volume":"5","author":"F. Arbab","year":"1993","unstructured":"F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. yConcurrency: Practice and Experience, 5(1):23\u201370, 1993.","journal-title":"1Concurrency: Practice and Experience"},{"key":"18_CR4","unstructured":"M. Bernardo, P. Ciancarini, and L. Donatiello. Performance analysis of software architectures via a process algebraic description language. Technical Report UBLCS-99-20, University of Bologna, 1999."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"N. Busi, R. Gorrieri, and G. Zavattaro. A process algebraic view of Linda coordination primitives. Theoretical Computer Science, 192(2):167\u2013199, February 1998.","DOI":"10.1016\/S0304-3975(97)00149-7"},{"key":"18_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/10720327","volume-title":"Proceedings of AM AST 2000","author":"N. Busi","year":"2000","unstructured":"N. Busi, R. Gorrieri, and G. Zavattaro. Process calculi for coordination: From Linda to JavaSpaces. In Proceedings of AM AST 2000, Lecture Notes in Computer Science. Springer-Verlag, May 2000."},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(97)00021-X","volume":"31","author":"J. A. Bergstra","year":"1998","unstructured":"J. A. Bergstra and P. Klint. The discrete time ToolBus-A software coordination architecture. Science of Computer Programming, 31:205\u2013229, 1998.","journal-title":"Science of Computer Programming"},{"key":"18_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/10720327","volume-title":"Proceedings of ESOP 2000","author":"N. Busi","year":"2000","unstructured":"N. Busi and G. Zavattaro. On the expressiveness of event notification in data-driven coordination languages. In Proceedings of ESOP 2000, Lecture Notes in Computer Science. Springer-Verlag, March 2000."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"N. Carriero and D. Gelernter. Linda in context. Communications of the ACM, 32(4):444\u2013458, April 1989.","DOI":"10.1145\/63334.63337"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, J. N. Gada, P. M. Lewis, S. A. Smolka, O. Sokolsky, and S. Zhang. The Concurrency Factory: practical tools for specification, simulation, verification, and implementation of concurrent systems. In G.E. Blelloch, K.M. Chandy, and S. Jagannathan, editors, Proceedings of DIM ACS Workshop on Specification of Parallel Algorithms, volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 75\u201390, Princeton, NJ, May 1994. American Mathematical Society.","DOI":"10.1090\/dimacs\/018\/06"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"P. Ciancarini. Coordination models and languages as software integrators. A CM Computing Surveys, 28(2):300\u2013302, June 1996.","DOI":"10.1145\/234528.234732"},{"key":"18_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-61474-5_88","volume-title":"Computer Aided Verification (CAV\u2019 96)","author":"R. Cleaveland","year":"1996","unstructured":"R. Cleaveland, P. M. Lewis, S. A. Smolka, and O. Sokolsky. The Concurrency Factory: A development environment for concurrent systems. In R. Alur and T. A. Henzinger, editors, Computer Aided Verification (CAV\u2019 96), volume 1102 of Lecture Notes in Computer Science, pages 398\u2013401, New Brunswick, New Jersey, July 1996. Springer-Verlag."},{"key":"18_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u2019 96)","author":"R. Cleaveland","year":"1996","unstructured":"R. Cleaveland, P. M. Lewis, S. A. Smolka, and O. Sokolsky. The Concurrency Factory software development environment. In T. Margaria and B. Steffen, editors, Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u2019 96), Vol. 1055 of Lecture Notes in Computer Science. Springer-Verlag, 1996."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"T. Chiueh and C. Venkatramani. The design, implementation and evaluation of a software-based real-time ethernet protocol. In Proceedings of ACM SIGCOMM\u2019 95, pages 27\u201337, 1995.","DOI":"10.1145\/217382.217404"},{"key":"18_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Tools and Algorithms for the Construction and Analysis of Algorithms (TACAS\u2019 99)","author":"Y. Dong","year":"1999","unstructured":"Y. Dong, X. Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I.V. Ramakrishnan, S. A. Smolka, O. Sokolsky, E. W. Stark, and D. S. Warren. Fighting livelock in the i-Protocol: A comparative study of verification tools. In Tools and Algorithms for the Construction and Analysis of Algorithms (TACAS\u2019 99), Lecture Notes in Computer Science, Amsterdam, March 1999. Springer-Verlag."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"X. Du, K. T. McDonnel, E. Nanos, Y. S. Ramakrishna, and S. A. Smolka. Software design, specification, and veriffcation: Lessons learned from the Rether case study. In Proceedings of the Sixth International Conference on Algebraic Methodology and Software Technology (AMAST\u201997), Sydney, Australia, December 1997. Springer-Verlag.","DOI":"10.1007\/BFb0000471"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"X. Du, S. A. Smolka, and R. Cleaveland. Local model checking and protocol analysis. Software Tools for Technology Transfer, 2(3):219\u2013241, November 1999.","DOI":"10.1007\/s100090050031"},{"key":"18_CR18","unstructured":"Y. Dong, S. A. Smolka, E. Stark, and S. M. White. Practical considerations in protocol verification: The E-2C case study. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS\u2019 99). IEEE Computer Society Press, 1999."},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"18_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-48320-9_28","volume-title":"CONCUR\u2019 99","author":"G. L\u00fcttgen","year":"1999","unstructured":"G. L\u00fcttgen, M. von der Beeck, and R. Cleaveland. Statecharts via process algebra. In J.C.M. Baeten and S. Mauw, editors, CONCUR\u2019 99, volume 1664 of Lecture Notes in Computer Science, pages 399\u2013414, Eindhoven, the Netherlands, August 1999. Springer-Verlag."},{"key":"18_CR21","unstructured":"R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989."},{"key":"18_CR22","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"M. Shaw et al. Abstractions for software architecture and tools to support them. IEEE Trans. Software Engineering, 21(4):314\u2013335, April 1995.","DOI":"10.1109\/32.385970"},{"key":"18_CR24","unstructured":"Sun Microsystems, Inc. JavaSpaces Specifications, 1998."},{"key":"18_CR25","volume-title":"Master\u2019s thesis","author":"P. Tiwari","year":"1997","unstructured":"P. Tiwari. VPL-tool support for specification and verification of concurrent systems. Master\u2019s thesis, North Carolina State University, Raleigh, 1997."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"A. C. Uselton and S. A. Smolka. A compositional semantics for Statecharts using labeled transition systems. In Proceedings of CONCUR\u2019 94-Fifth International Conference on Concurrency Theory, Uppsala, Sweden, August 1994.","DOI":"10.1007\/978-3-540-48654-1_2"},{"key":"18_CR27","volume-title":"Proceedings of PROCOMET\u2019 94","author":"A. C. Uselton","year":"1994","unstructured":"A. C. Uselton and S. A. Smolka. A process-algebraic semantics for Statecharts via state refinement. In Proceedings of PROCOMET\u2019 94. North Holland\/ Elsevier, 1994."},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"P. Wyckoff, S. W. McLaughry, T. J. Lehman, and D. A. Ford. TSpaces. IBM Systems Journal, 37(3), 1998.","DOI":"10.1147\/sj.373.0454"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45263-X_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:50:38Z","timestamp":1556711438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45263-X_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410201","9783540452638"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45263-x_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}