{"id":"https://openalex.org/W2044116701","doi":"https://doi.org/10.1016/s0164-1212(01)00083-8","title":"Designing reactive systems: integration of abstraction techniques into a synthesis procedure","display_name":"Designing reactive systems: integration of abstraction techniques into a synthesis procedure","publication_year":2002,"publication_date":"2002-02-01","ids":{"openalex":"https://openalex.org/W2044116701","doi":"https://doi.org/10.1016/s0164-1212(01)00083-8","mag":"2044116701"},"language":"en","primary_location":{"id":"doi:10.1016/s0164-1212(01)00083-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0164-1212(01)00083-8","pdf_url":null,"source":{"id":"https://openalex.org/S37879656","display_name":"Journal of Systems and Software","issn_l":"0164-1212","issn":["0164-1212","1873-1228"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems and Software","raw_type":"journal-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/A5104685784","display_name":"Richard St\u2010Denis","orcid":"https://orcid.org/0000-0002-4099-7445"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Richard St-Denis","raw_affiliation_strings":["D\u00e9partement de math\u00e9matiques et d'informatique, Universit\u00e9 de Sherbrooke, 2500, boul. Universit\u00e9, Sherbrooke, Que., Canada J1K 2R1","D\u00e9partment de math\u00e9matiques et d'informatique, Universit\u00e9 de Sherbrooke, 2500, boul. Universit\u00e9, Sherbrooke, Que., Canada J1K 2R1#TAB#"],"affiliations":[{"raw_affiliation_string":"D\u00e9partement de math\u00e9matiques et d'informatique, Universit\u00e9 de Sherbrooke, 2500, boul. Universit\u00e9, Sherbrooke, Que., Canada J1K 2R1","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"D\u00e9partment de math\u00e9matiques et d'informatique, Universit\u00e9 de Sherbrooke, 2500, boul. Universit\u00e9, Sherbrooke, Que., Canada J1K 2R1#TAB#","institution_ids":["https://openalex.org/I135117807"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5104685784"],"corresponding_institution_ids":["https://openalex.org/I135117807"],"apc_list":{"value":3560,"currency":"USD","value_usd":3560},"apc_paid":null,"fwci":0.3489,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.56696238,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"60","issue":"2","first_page":"103","last_page":"112"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/abstraction","display_name":"Abstraction","score":0.7287605404853821},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7066601514816284},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5174701809883118},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5148869752883911},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.47994711995124817},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4507113993167877},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44645607471466064},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4244334399700165},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4218955636024475},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4213404655456543},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4105141758918762},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3633856773376465},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1319563090801239}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7287605404853821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7066601514816284},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5174701809883118},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5148869752883911},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.47994711995124817},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4507113993167877},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44645607471466064},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4244334399700165},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4218955636024475},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4213404655456543},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4105141758918762},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3633856773376465},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1319563090801239},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0164-1212(01)00083-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0164-1212(01)00083-8","pdf_url":null,"source":{"id":"https://openalex.org/S37879656","display_name":"Journal of Systems and Software","issn_l":"0164-1212","issn":["0164-1212","1873-1228"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems and Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W117071164","https://openalex.org/W174471988","https://openalex.org/W421997344","https://openalex.org/W1491178396","https://openalex.org/W1497487247","https://openalex.org/W1497851939","https://openalex.org/W1569051713","https://openalex.org/W1583634053","https://openalex.org/W1587663028","https://openalex.org/W1590266960","https://openalex.org/W1594156945","https://openalex.org/W1598735159","https://openalex.org/W1603788080","https://openalex.org/W1931845768","https://openalex.org/W2002089154","https://openalex.org/W2002741933","https://openalex.org/W2012427794","https://openalex.org/W2019612313","https://openalex.org/W2055558998","https://openalex.org/W2056634043","https://openalex.org/W2059057465","https://openalex.org/W2119750672","https://openalex.org/W2127060337","https://openalex.org/W2147006355","https://openalex.org/W2486111772","https://openalex.org/W2658295792","https://openalex.org/W4297744580","https://openalex.org/W4302339081","https://openalex.org/W6640491154"],"related_works":["https://openalex.org/W1552815313","https://openalex.org/W3028107872","https://openalex.org/W2182871100","https://openalex.org/W2122920927","https://openalex.org/W2353922510","https://openalex.org/W2045155990","https://openalex.org/W4313163053","https://openalex.org/W2389214306","https://openalex.org/W3045811229","https://openalex.org/W4300973204"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}