{"id":"https://openalex.org/W2010822264","doi":"https://doi.org/10.1145/2465449.2465464","title":"Implementing generalized alternative construct for erasmus language","display_name":"Implementing generalized alternative construct for erasmus language","publication_year":2013,"publication_date":"2013-06-17","ids":{"openalex":"https://openalex.org/W2010822264","doi":"https://doi.org/10.1145/2465449.2465464","mag":"2010822264"},"language":"en","primary_location":{"id":"doi:10.1145/2465449.2465464","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2465449.2465464","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024284426","display_name":"Nima Jafroodi","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Nima Jafroodi","raw_affiliation_strings":["Concordia University, Montreal, PQ, Canada","Concordia University, Montreal, PQ, Canada#TAB#"],"affiliations":[{"raw_affiliation_string":"Concordia University, Montreal, PQ, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Concordia University, Montreal, PQ, Canada#TAB#","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011976148","display_name":"Peter Grogono","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Peter Grogono","raw_affiliation_strings":["Concordia University, Montreal, PQ, Canada","Concordia University, Montreal, PQ, Canada#TAB#"],"affiliations":[{"raw_affiliation_string":"Concordia University, Montreal, PQ, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Concordia University, Montreal, PQ, Canada#TAB#","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024284426"],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":null,"apc_paid":null,"fwci":0.9618,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81467024,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"101","last_page":"110"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/construct","display_name":"Construct (python library)","score":0.9424145221710205},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8018801212310791},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7475643157958984},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6922129988670349},{"id":"https://openalex.org/keywords/erasmus","display_name":"Erasmus+","score":0.6423402428627014},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.631691038608551},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5789961814880371},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5305476784706116},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4712258577346802},{"id":"https://openalex.org/keywords/language-construct","display_name":"Language construct","score":0.4132831394672394},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16061466932296753},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.07928586006164551}],"concepts":[{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.9424145221710205},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8018801212310791},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7475643157958984},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6922129988670349},{"id":"https://openalex.org/C2779157386","wikidata":"https://www.wikidata.org/wiki/Q43499","display_name":"Erasmus+","level":3,"score":0.6423402428627014},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.631691038608551},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5789961814880371},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5305476784706116},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4712258577346802},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.4132831394672394},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16061466932296753},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.07928586006164551},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C52069626","wikidata":"https://www.wikidata.org/wiki/Q4692","display_name":"The Renaissance","level":2,"score":0.0},{"id":"https://openalex.org/C52119013","wikidata":"https://www.wikidata.org/wiki/Q50637","display_name":"Art history","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2465449.2465464","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2465449.2465464","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W128012463","https://openalex.org/W187781385","https://openalex.org/W195761775","https://openalex.org/W623593394","https://openalex.org/W1507873625","https://openalex.org/W1516972252","https://openalex.org/W1557853716","https://openalex.org/W1649645444","https://openalex.org/W2000030459","https://openalex.org/W2049701909","https://openalex.org/W2056262704","https://openalex.org/W2059563369","https://openalex.org/W2102097307","https://openalex.org/W2118801172","https://openalex.org/W2120878557","https://openalex.org/W2139241964","https://openalex.org/W2297240047","https://openalex.org/W3144771442","https://openalex.org/W6630968905"],"related_works":["https://openalex.org/W1496754681","https://openalex.org/W2486246151","https://openalex.org/W1984008941","https://openalex.org/W817567431","https://openalex.org/W4319588573","https://openalex.org/W2897245327","https://openalex.org/W4319985120","https://openalex.org/W2471891399","https://openalex.org/W2321052860","https://openalex.org/W2334288382"],"abstract_inverted_index":{"In":[0,77],"this":[1],"paper":[2],"we":[3,88,97],"describe":[4],"the":[5,10,15,26,48,51,71,74,93,99],"design":[6,66,82],"and":[7,83,96,105],"implementation":[8],"of":[9,25,50,73],"generalized":[11],"alternative":[12,20,52,75],"construct":[13,21,53],"for":[14],"Erasmus":[16],"programming":[17],"language.":[18],"The":[19],"is":[22],"a":[23,32],"generalization":[24],"familiar":[27],"if-then-else":[28],"statement":[29],"that":[30,54],"allows":[31],"process":[33],"to":[34,59,79,84,103],"non-deterministically":[35],"choose":[36],"between":[37],"possible":[38],"communications":[39],"on":[40,47,70,92],"several":[41],"channels.":[42],"Previous":[43],"algorithms":[44],"put":[45],"restrictions":[46,69],"use":[49,72,98],"prevent":[55],"both":[56],"input/output":[57],"operations":[58],"be":[60],"used":[61],"in":[62],"an":[63],"alternation.":[64],"Our":[65],"removes":[67],"previous":[68],"construct.":[76],"order":[78],"support":[80],"our":[81,107],"prove":[85],"its":[86],"correctness,":[87],"build":[89],"models":[90],"based":[91],"ACP":[94],"algebra,":[95],"mCRL2":[100],"model":[101],"checker":[102],"analyze":[104],"verify":[106],"models.":[108]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}