{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:34:22Z","timestamp":1742988862014,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642286636"},{"type":"electronic","value":"9783642286643"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28664-3_31","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T19:42:41Z","timestamp":1332445361000},"page":"335-345","source":"Crossref","is-referenced-by-count":0,"title":["TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Jane","family":"Jovanovski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maja","family":"Siljanoska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Carevski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dragan","family":"Sahpaski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petar","family":"Gjorcevski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Metodi","family":"Micev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bojan","family":"Ilijoski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vlado","family":"Georgiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"31_CR2","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"31_CR3","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier Science B.V. (2001)"},{"issue":"7","key":"31_CR4","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal Verification of Parallel Programs. Communications of the ACM\u00a019(7), 371\u2013384 (1976)","journal-title":"Communications of the ACM"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Aceto, L., Ingolfsdottir, A., Larsen, K.G., Srba, J.: Reactive Systems - Modeling, Specification and Verification. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511814105"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D.M.R. Park","year":"1981","unstructured":"Park, D.M.R.: Concurrency and Automata on Infinite Sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"key":"31_CR7","series-title":"Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"A.W. Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Texts in Computer Science. Springer, Heidelberg (2010)"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Milner, R.: Operational and Algebraic Semantics of Concurrency Processes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 1201\u20131242. Elsevier and MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"31_CR9","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)"},{"key":"31_CR10","unstructured":"Fernandez, J.C.: Aldebaran: User\u2019s Manual, Technical Report, LGI-IMAG Grenoble (1988)"},{"key":"31_CR11","unstructured":"Moller, F.: Perdita Stevens, Edinburgh Concurrency Workbench User Manual (Version 7.1) (1999), \n                    http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/"},{"key":"31_CR12","unstructured":"van Weerdenburg, M., et al.: mCRL2 User\u2019s Manual (2008), \n                    http:\/\/www.mcrl2.org"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Alexander, M., Gardner, W.: Process Algebra for Parallel and Distributed Processing. Computational Science Series. Chapman&Hall\/CRC Press (2009)","DOI":"10.1201\/9781420064872"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Fernandez, J.C.: An Implementation of an Efficient Algorithm for Bisimulation Equivalence. Science of Computer Programming, vol.\u00a013, pp. 219\u2013236 (1989\/1990)","DOI":"10.1016\/0167-6423(90)90071-K"},{"issue":"6","key":"31_CR15","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1145\/363347.363366","volume":"11","author":"W.C. Lynch","year":"1968","unstructured":"Lynch, W.C.: Computer systems: Reliable Full-duplex File Transmission over Half-duplex Telephone Line. Communications of the ACM\u00a011(6), 407\u2013410 (1968)","journal-title":"Communications of the ACM"},{"key":"31_CR16","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K.A. Bartlett","year":"1969","unstructured":"Bartlett, K.A., Scantlebury, R.A., Wilkinson, P.T.: A note on Reliable Full-duplex Transmission over Half-duplex Links. Communications of the ACM\u00a012, 260\u2013261 (1969)","journal-title":"Communications of the ACM"},{"key":"31_CR17","unstructured":"Groote, J.F., Reniers, M.: Modelling and Analysis of Communicating Systems. Technical University of Eindhoven, rev. 1478 (2009)"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Chomsky, N.: Three Models for the Description of Language. IEEE Transactions on Information Theory (1956)","DOI":"10.1109\/TIT.1956.1056813"},{"key":"31_CR19","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley (2006)"},{"key":"31_CR20","unstructured":"Parr, T.: The Definitive ANTLR Reference - Building Domain-Specific Languages. The Pragmatic Bookshelf (2007)"},{"issue":"2","key":"31_CR21","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A Lattice-theoretical Fixpoint Theorem and its Applications. Pacific Journal of Mathematics\u00a05(2), 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"Kanellakis, P., Smolka, S.A.: CCS expressions, finite state processes and three problems of equivalence. In: Proceedings of the 2nd ACM Symposium on Principles of Distributed Computing, pp. 228\u2013240. ACM Press (1983)","DOI":"10.1145\/800221.806724"},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Paige, R., Tarjan, R.: Three Partition Refinement Algorithms. SIAM J. Comput.\u00a016(6) (1987)","DOI":"10.1137\/0216062"},{"key":"31_CR24","unstructured":"Kulick, S.: Process Algebra, CCS, and Bisimulation Decidability. University of Pennsylvania, pp. 8\u201310 (1994)"}],"container-title":["Advances in Intelligent and Soft Computing","ICT Innovations 2011"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28664-3_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T12:31:48Z","timestamp":1677069108000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-28664-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642286636","9783642286643"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28664-3_31","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2012]]}}}