{"id":"https://openalex.org/W100630360","doi":"https://doi.org/10.1007/978-3-642-88049-0_16","title":"Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems","display_name":"Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W100630360","doi":"https://doi.org/10.1007/978-3-642-88049-0_16","mag":"100630360"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-88049-0_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-88049-0_16","pdf_url":null,"source":{"id":"https://openalex.org/S4210190733","display_name":"NATO ASI series. Series F : Computer and system sciences","issn_l":"0258-1248","issn":["0258-1248"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NATO ASI Series","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/A5032014577","display_name":"Giovanni Cantone","orcid":null},"institutions":[{"id":"https://openalex.org/I116067653","display_name":"University of Rome Tor Vergata","ror":"https://ror.org/02p77k626","country_code":"IT","type":"education","lineage":["https://openalex.org/I116067653"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Giovanni Cantone","raw_affiliation_strings":["Laboratorio di Informatica Dipartimento di Ingegneria Elettronica Via della Ricerca Scientifica, Universita di Roma \u201cTor Vergata\u201d, 00133, Roma, Italy","Laboratorio di Informatica Dipartimento di Ingegneria Elettronica Via della Ricerca Scientifica, Universita di Roma \"Tor Vergata\", 00133, Roma, Italy"],"affiliations":[{"raw_affiliation_string":"Laboratorio di Informatica Dipartimento di Ingegneria Elettronica Via della Ricerca Scientifica, Universita di Roma \u201cTor Vergata\u201d, 00133, Roma, Italy","institution_ids":["https://openalex.org/I116067653"]},{"raw_affiliation_string":"Laboratorio di Informatica Dipartimento di Ingegneria Elettronica Via della Ricerca Scientifica, Universita di Roma \"Tor Vergata\", 00133, Roma, Italy","institution_ids":["https://openalex.org/I116067653"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5032014577"],"corresponding_institution_ids":["https://openalex.org/I116067653"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0456621,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"325","last_page":"345"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9990000128746033,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7477391958236694},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.6282381415367126},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5991809964179993},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.5391632914543152},{"id":"https://openalex.org/keywords/duration","display_name":"Duration (music)","score":0.5283896327018738},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4913240969181061},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4697456955909729},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.42905718088150024},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3661365509033203},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.34423547983169556},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2966153025627136},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.133894145488739},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10603556036949158}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7477391958236694},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.6282381415367126},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5991809964179993},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.5391632914543152},{"id":"https://openalex.org/C112758219","wikidata":"https://www.wikidata.org/wiki/Q16038819","display_name":"Duration (music)","level":2,"score":0.5283896327018738},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4913240969181061},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4697456955909729},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.42905718088150024},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3661365509033203},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.34423547983169556},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2966153025627136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.133894145488739},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10603556036949158},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-88049-0_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-88049-0_16","pdf_url":null,"source":{"id":"https://openalex.org/S4210190733","display_name":"NATO ASI series. Series F : Computer and system sciences","issn_l":"0258-1248","issn":["0258-1248"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NATO ASI Series","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W143137544","https://openalex.org/W203124497","https://openalex.org/W223964054","https://openalex.org/W1548871841","https://openalex.org/W1603405967","https://openalex.org/W1785296271","https://openalex.org/W1981109686","https://openalex.org/W1987471089","https://openalex.org/W1994188141","https://openalex.org/W1996109622","https://openalex.org/W2022490489","https://openalex.org/W2024800288","https://openalex.org/W2027398099","https://openalex.org/W2038995301","https://openalex.org/W2041938674","https://openalex.org/W2043490323","https://openalex.org/W2045486526","https://openalex.org/W2066240774","https://openalex.org/W2067737487","https://openalex.org/W2076506165","https://openalex.org/W2083719008","https://openalex.org/W2086623476","https://openalex.org/W2088757631","https://openalex.org/W2106297337","https://openalex.org/W2113535112","https://openalex.org/W2114091595","https://openalex.org/W2124845674","https://openalex.org/W2130133810","https://openalex.org/W2153124684","https://openalex.org/W2656515572","https://openalex.org/W4244793443","https://openalex.org/W4254859919","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2348837382","https://openalex.org/W746329893","https://openalex.org/W4205872570","https://openalex.org/W4245971243","https://openalex.org/W1922805944","https://openalex.org/W4253588120","https://openalex.org/W2383732295","https://openalex.org/W2942717012","https://openalex.org/W4248716494","https://openalex.org/W2162226802"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}