{"id":"https://openalex.org/W1553916557","doi":"https://doi.org/10.1007/3-540-62599-2_45","title":"Inheriting synchronization protocols via sound enrichment rules","display_name":"Inheriting synchronization protocols via sound enrichment rules","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1553916557","doi":"https://doi.org/10.1007/3-540-62599-2_45","mag":"1553916557"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-62599-2_45","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-62599-2_45","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":"conference-paper","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/A5038827584","display_name":"Franti\u0161ek Pl\u00e1\u0161il","orcid":"https://orcid.org/0000-0003-1910-8989"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]},{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Franti\u0161ek Pl\u00e1\u0161il","raw_affiliation_strings":["Faculty of Mathematics and Physics, Department of Software Engineering, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague 1, Czech Republic","Institute of Computer Science, Czech Academy of Sciences, Pod vod\u00e1renskou v\u011b\u017e\u00ed, 180 00, Prague, Czech Republic","Charles University","Czech Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Physics, Department of Software Engineering, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Institute of Computer Science, Czech Academy of Sciences, Pod vod\u00e1renskou v\u011b\u017e\u00ed, 180 00, Prague, Czech Republic","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Charles University","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Czech Academy of Sciences","institution_ids":["https://openalex.org/I202391551"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5097451943","display_name":"Daniel Miku\u0161\u00edk","orcid":null},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Daniel Miku\u0161\u00edk","raw_affiliation_strings":["Faculty of Mathematics and Physics, Department of Software Engineering, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague 1, Czech Republic","Charles University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Physics, Department of Software Engineering, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University,","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6536,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.65616147,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"267","last_page":"281"},"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.9994999766349792,"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.9994999766349792,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9973999857902527,"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/synchronization","display_name":"Synchronization (alternating current)","score":0.8254091739654541},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7790801525115967},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.6280608177185059},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5408546924591064},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5194615721702576},{"id":"https://openalex.org/keywords/inheritance","display_name":"Inheritance (genetic algorithm)","score":0.4935950040817261},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4879269301891327},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.42596617341041565},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.41693320870399475},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36228305101394653},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1951996088027954},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1882426142692566},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.1706465482711792},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.17006522417068481}],"concepts":[{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.8254091739654541},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7790801525115967},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.6280608177185059},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5408546924591064},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5194615721702576},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.4935950040817261},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4879269301891327},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42596617341041565},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41693320870399475},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36228305101394653},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1951996088027954},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1882426142692566},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.1706465482711792},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.17006522417068481},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-62599-2_45","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-62599-2_45","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W30406299","https://openalex.org/W1539193030","https://openalex.org/W1546981056","https://openalex.org/W1555946950","https://openalex.org/W1559077477","https://openalex.org/W1586926219","https://openalex.org/W1591007360","https://openalex.org/W1689403239","https://openalex.org/W1981229886","https://openalex.org/W1992788999","https://openalex.org/W1995455512","https://openalex.org/W2012640100","https://openalex.org/W2022194380","https://openalex.org/W2036656026","https://openalex.org/W2076981114","https://openalex.org/W2106636526","https://openalex.org/W2114071876","https://openalex.org/W2128732372","https://openalex.org/W2131791649","https://openalex.org/W2151990727","https://openalex.org/W2201162303","https://openalex.org/W2758831193","https://openalex.org/W2799068413","https://openalex.org/W2914506027","https://openalex.org/W3014049221","https://openalex.org/W3150024364","https://openalex.org/W3164476317","https://openalex.org/W6758738355"],"related_works":["https://openalex.org/W4234874385","https://openalex.org/W2386928530","https://openalex.org/W2323648130","https://openalex.org/W2912461320","https://openalex.org/W2157140558","https://openalex.org/W4210442184","https://openalex.org/W2378782423","https://openalex.org/W2373906875","https://openalex.org/W2903457525","https://openalex.org/W2921828092"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}