{"id":"https://openalex.org/W1557918845","doi":"https://doi.org/10.1007/3-540-58468-4_187","title":"Languages for reactive specifications: Synchrony vs asynchrony","display_name":"Languages for reactive specifications: Synchrony vs asynchrony","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W1557918845","doi":"https://doi.org/10.1007/3-540-58468-4_187","mag":"1557918845"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-58468-4_187","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-58468-4_187","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5111410153","display_name":"R. K. Shyamasundar","orcid":"https://orcid.org/0000-0001-6966-0507"},"institutions":[{"id":"https://openalex.org/I11947397","display_name":"Tata Institute of Fundamental Research","ror":"https://ror.org/03ht1xw27","country_code":"IN","type":"education","lineage":["https://openalex.org/I11947397","https://openalex.org/I2799351866","https://openalex.org/I3149292468"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"R. K. Shyamasundar","raw_affiliation_strings":["Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India","Tata Institute of Fundamental Research"],"affiliations":[{"raw_affiliation_string":"Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India","institution_ids":["https://openalex.org/I11947397"]},{"raw_affiliation_string":"Tata Institute of Fundamental Research","institution_ids":["https://openalex.org/I11947397"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081333705","display_name":"S. Ramesh","orcid":"https://orcid.org/0000-0003-1361-8224"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]},{"id":"https://openalex.org/I11947397","display_name":"Tata Institute of Fundamental Research","ror":"https://ror.org/03ht1xw27","country_code":"IN","type":"education","lineage":["https://openalex.org/I11947397","https://openalex.org/I2799351866","https://openalex.org/I3149292468"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"S. Ramesh","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology, 400 076, Powai, Bombay, India","Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India","Indian Institute of Technology","Tata Institute of Fundamental Research"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology, 400 076, Powai, Bombay, India","institution_ids":["https://openalex.org/I162827531"]},{"raw_affiliation_string":"Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India","institution_ids":["https://openalex.org/I11947397"]},{"raw_affiliation_string":"Indian Institute of Technology","institution_ids":[]},{"raw_affiliation_string":"Tata Institute of Fundamental Research","institution_ids":["https://openalex.org/I11947397"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5111410153"],"corresponding_institution_ids":["https://openalex.org/I11947397"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6496,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67840497,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"621","last_page":"640"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983999729156494,"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/asynchrony","display_name":"Asynchrony (computer programming)","score":0.8475700616836548},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7858484983444214},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7435504198074341},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7310996055603027},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7257868051528931},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.45788633823394775},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2944352328777313}],"concepts":[{"id":"https://openalex.org/C2779019669","wikidata":"https://www.wikidata.org/wiki/Q25203946","display_name":"Asynchrony (computer programming)","level":3,"score":0.8475700616836548},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7858484983444214},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7435504198074341},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7310996055603027},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7257868051528931},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.45788633823394775},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2944352328777313},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-58468-4_187","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-58468-4_187","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1555413481","https://openalex.org/W1576022685","https://openalex.org/W1783091435","https://openalex.org/W1985777976","https://openalex.org/W2072961973","https://openalex.org/W2081938726","https://openalex.org/W2094580572","https://openalex.org/W2110425399","https://openalex.org/W2176300081","https://openalex.org/W4240583699"],"related_works":["https://openalex.org/W2534656837","https://openalex.org/W2944915449","https://openalex.org/W2102266661","https://openalex.org/W2122229220","https://openalex.org/W4297966918","https://openalex.org/W2805708124","https://openalex.org/W2974157558","https://openalex.org/W4387237598","https://openalex.org/W1541180262","https://openalex.org/W2487895676"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}