{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:07Z","timestamp":1750306087063,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","award":["PICT-2015-0586, PICT-2015-2088, PICT-2012-1298"],"award-info":[{"award-number":["PICT-2015-0586, PICT-2015-2088, PICT-2012-1298"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3122828","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"979-983","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["CLTSA: labelled transition system analyser with counting fluent support"],"prefix":"10.1145","author":[{"given":"Germ\u00e1n","family":"Regis","sequence":"first","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renzo","family":"Degiovanni","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina \/ CONICET, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"D'Ippolito","sequence":"additional","affiliation":[{"name":"University of Buenos Aires, Argentina \/ CONICET, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina \/ CONICET, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940106"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.78"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134408"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_3_2_1_6_1","unstructured":"C. Delforge C. Pecheur http:\/\/lvl.info.ucl.ac.be\/Tools\/LTSADelforge  C. Delforge C. Pecheur http:\/\/lvl.info.ucl.ac.be\/Tools\/LTSADelforge"},{"key":"e_1_3_2_1_7_1","volume-title":"The Temporal Logic of Reactive and Concurrent Systems - Specification -","author":"Manna Z.","year":"1991","unstructured":"Z. Manna and A. Pnueli , The Temporal Logic of Reactive and Concurrent Systems - Specification - , Springer , 1991 . Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems - Specification -, Springer, 1991."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"key":"e_1_3_2_1_9_1","volume-title":"Concurrency: State Models and Java Programs","author":"Magee J.","year":"1999","unstructured":"J. Magee and J. Kramer , Concurrency: State Models and Java Programs , John Wiley & amp; Sons, 1999 . J. Magee and J. Kramer, Concurrency: State Models and Java Programs, John Wiley & Sons, 1999."},{"key":"e_1_3_2_1_10_1","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989","unstructured":"R. Milner , Communication and Concurrency , Prentice-Hall , 1989 . R. Milner, Communication and Concurrency, Prentice-Hall, 1989."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33296-8_12"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings First Latin American Workshop on Formal Methods, LAFM 2013","author":"Regis G.","year":"2013","unstructured":"G. Regis , F. Villar , N. Ricci , Fluent Logic Workflow Analyser : A Tool for The Verification of Workflow Properties , Proceedings First Latin American Workshop on Formal Methods, LAFM 2013 , Buenos Aires, Argentina , 2013 . G. Regis, F. Villar, N. Ricci, Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties, Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, 2013."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818843"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591067"},{"key":"e_1_3_2_1_15_1","unstructured":"Abstract 1 Introduction 2 Introducing CLTSA 3 Architectural Overview 4 Remarks Acknowledgments References  Abstract 1 Introduction 2 Introducing CLTSA 3 Architectural Overview 4 Remarks Acknowledgments References"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Paderborn Germany","acronym":"ESEC\/FSE'17"},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3122828","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3122828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:17Z","timestamp":1750217417000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3122828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":15,"alternative-id":["10.1145\/3106237.3122828","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3122828","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}