{"id":"https://openalex.org/W2215129957","doi":"https://doi.org/10.4204/eptcs.189.8","title":"The LTS WorkBench","display_name":"The LTS WorkBench","publication_year":2015,"publication_date":"2015-08-19","ids":{"openalex":"https://openalex.org/W2215129957","doi":"https://doi.org/10.4204/eptcs.189.8","mag":"2215129957"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.189.8","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.189.8","pdf_url":"https://arxiv.org/pdf/1508.04853","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1508.04853","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033402139","display_name":"Alceste Scalas","orcid":"https://orcid.org/0000-0002-1153-6164"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB","IT"],"is_corresponding":true,"raw_author_name":"Alceste Scalas","raw_affiliation_strings":["Universit\u00e0 di Cagliari, Italy and Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Cagliari, Italy and Imperial College London, UK","institution_ids":["https://openalex.org/I172446870","https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050606239","display_name":"Massimo Bartoletti","orcid":"https://orcid.org/0000-0003-3796-9774"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]},{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["GB","IT"],"is_corresponding":false,"raw_author_name":"Massimo Bartoletti","raw_affiliation_strings":["Universit\u00e0 di Cagliari, Italy","Department of Computing Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]},{"raw_affiliation_string":"Department of Computing Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033402139"],"corresponding_institution_ids":["https://openalex.org/I172446870","https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.15482288,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"189","issue":null,"first_page":"86","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.830764651298523},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7543850541114807},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.6867109537124634},{"id":"https://openalex.org/keywords/workbench","display_name":"Workbench","score":0.6426066160202026},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6149462461471558},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5899410843849182},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.5793053507804871},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5150858759880066},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4526776969432831},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40385133028030396},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36748817563056946},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.22775956988334656},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1784381866455078},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.08137613534927368},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.07654893398284912}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.830764651298523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7543850541114807},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.6867109537124634},{"id":"https://openalex.org/C2779145975","wikidata":"https://www.wikidata.org/wiki/Q347690","display_name":"Workbench","level":3,"score":0.6426066160202026},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6149462461471558},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5899410843849182},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.5793053507804871},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5150858759880066},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4526776969432831},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40385133028030396},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36748817563056946},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.22775956988334656},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1784381866455078},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.08137613534927368},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.07654893398284912},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.4204/eptcs.189.8","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.189.8","pdf_url":"https://arxiv.org/pdf/1508.04853","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1508.04853","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1508.04853","pdf_url":"https://arxiv.org/pdf/1508.04853","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:publications.aston.ac.uk:39748","is_oa":true,"landing_page_url":"https://publications.aston.ac.uk/view/author/8284d2a758b4deb7bfc43572bf956ce8.html>","pdf_url":"https://publications.aston.ac.uk/id/eprint/39748/1/1508.04853.pdf","source":{"id":"https://openalex.org/S4306400483","display_name":"Aston Publications Explorer (Aston University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169199633","host_organization_name":"Aston University","host_organization_lineage":["https://openalex.org/I169199633"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:doaj.org/article:dc27338d99604423b18849b9c49bd21c","is_oa":true,"landing_page_url":"https://doaj.org/article/dc27338d99604423b18849b9c49bd21c","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 189, Iss Proc. ICE 2015, Pp 86-98 (2015)","raw_type":"article"},{"id":"pmh:oai:iris.unica.it:11584/114100","is_oa":false,"landing_page_url":"http://hdl.handle.net/11584/114100","pdf_url":null,"source":{"id":"https://openalex.org/S4377196293","display_name":"UNICA IRIS Institutional Research Information System (University of Cagliari)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172446870","host_organization_name":"University of Cagliari","host_organization_lineage":["https://openalex.org/I172446870"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferencePaper"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/45765","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/45765","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"98","raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.4204/eptcs.189.8","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.189.8","pdf_url":"https://arxiv.org/pdf/1508.04853","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5299999713897705,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G1355007565","display_name":null,"funder_award_id":"PRIN 2010-11","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G2725184853","display_name":"Conversation-Based Governance for Distributed Systems by Multiparty Session Types","funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5458840301","display_name":null,"funder_award_id":"PRIN 2010","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G5562135935","display_name":null,"funder_award_id":"2010-11","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G556591498","display_name":null,"funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8676574545","display_name":null,"funder_award_id":"Security","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"}],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2215129957.pdf","grobid_xml":"https://content.openalex.org/works/W2215129957.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1495226832","https://openalex.org/W1503973138","https://openalex.org/W1504623906","https://openalex.org/W1582827681","https://openalex.org/W1941373452","https://openalex.org/W1971107784","https://openalex.org/W2025172542","https://openalex.org/W2025970201","https://openalex.org/W2032399648","https://openalex.org/W2060910670","https://openalex.org/W2130413791","https://openalex.org/W2810491896","https://openalex.org/W4247054682"],"related_works":["https://openalex.org/W2388509490","https://openalex.org/W2109648960","https://openalex.org/W2166015079","https://openalex.org/W2050384624","https://openalex.org/W2776888796","https://openalex.org/W2388480422","https://openalex.org/W2624268110","https://openalex.org/W2951120646","https://openalex.org/W2356913294","https://openalex.org/W2903672016"],"abstract_inverted_index":{"Labelled":[0],"Transition":[1],"Systems":[2],"(LTSs)":[3],"are":[4],"a":[5,40,59],"fundamental":[6],"semantic":[7],"model":[8],"in":[9],"many":[10],"areas":[11],"of":[12,45,54],"informatics,":[13],"especially":[14],"concurrency":[15],"theory.":[16],"Yet,":[17],"reasoning":[18],"on":[19],"LTSs":[20],"and":[21,29,48,61,71],"relations":[22],"between":[23],"their":[24],"states":[25],"can":[26,36],"be":[27],"difficult":[28],"elusive:":[30],"very":[31],"simple":[32],"process":[33],"algebra":[34],"terms":[35],"give":[37],"rise":[38],"to":[39],"large":[41],"(possibly":[42],"infinite)":[43],"number":[44],"intricate":[46],"transitions":[47],"interactions.":[49],"To":[50],"ease":[51],"this":[52,65],"kind":[53],"study,":[55],"we":[56],"present":[57],"LTSwb,":[58],"flexible":[60],"extensible":[62],"LTS":[63],"toolbox:":[64],"tutorial":[66],"paper":[67],"discusses":[68],"its":[69],"design":[70],"functionalities.":[72]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2016-06-24T00:00:00"}