{"id":"https://openalex.org/W2076585238","doi":"https://doi.org/10.4204/eptcs.105.9","title":"A Timed Calculus for Mobile Ad Hoc Networks","display_name":"A Timed Calculus for Mobile Ad Hoc Networks","publication_year":2012,"publication_date":"2012-12-21","ids":{"openalex":"https://openalex.org/W2076585238","doi":"https://doi.org/10.4204/eptcs.105.9","mag":"2076585238"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.105.9","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.105.9","pdf_url":"https://arxiv.org/pdf/1301.0045","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1301.0045","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Mengying Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mengying Wang","raw_affiliation_strings":["ECNU"],"affiliations":[{"raw_affiliation_string":"ECNU","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"Yang Lu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang Lu","raw_affiliation_strings":["SJTU"],"affiliations":[{"raw_affiliation_string":"SJTU","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.376,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65867202,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"105","issue":null,"first_page":"118","last_page":"134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10246","display_name":"Mobile Ad Hoc Networks","score":0.9128999710083008,"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"}},"topics":[{"id":"https://openalex.org/T10246","display_name":"Mobile Ad Hoc Networks","score":0.9128999710083008,"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/T11158","display_name":"Wireless Networks and Protocols","score":0.055799998342990875,"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/T11896","display_name":"Opportunistic and Delay-Tolerant Networks","score":0.011699999682605267,"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/node","display_name":"Node (physics)","score":0.6514999866485596},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6470999717712402},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6294000148773193},{"id":"https://openalex.org/keywords/wireless-ad-hoc-network","display_name":"Wireless ad hoc network","score":0.4855000078678131},{"id":"https://openalex.org/keywords/mobile-ad-hoc-network","display_name":"Mobile ad hoc network","score":0.4668000042438507},{"id":"https://openalex.org/keywords/mobile-telephony","display_name":"Mobile telephony","score":0.39649999141693115},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.39579999446868896}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6895999908447266},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.6514999866485596},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6470999717712402},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6294000148773193},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.4855000078678131},{"id":"https://openalex.org/C91280400","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Mobile ad hoc network","level":3,"score":0.4668000042438507},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42809998989105225},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.41990000009536743},{"id":"https://openalex.org/C95491727","wikidata":"https://www.wikidata.org/wiki/Q992968","display_name":"Mobile telephony","level":3,"score":0.39649999141693115},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.39579999446868896},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.38089999556541443},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.353300005197525},{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.35179999470710754},{"id":"https://openalex.org/C144543869","wikidata":"https://www.wikidata.org/wiki/Q2738570","display_name":"Mobile computing","level":2,"score":0.3427000045776367},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.33410000801086426},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3109000027179718},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25380000472068787}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4204/eptcs.105.9","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.105.9","pdf_url":"https://arxiv.org/pdf/1301.0045","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1301.0045","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1301.0045","pdf_url":"https://arxiv.org/pdf/1301.0045","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:198950bec59f465bac073087f9169dcc","is_oa":true,"landing_page_url":"https://doaj.org/article/198950bec59f465bac073087f9169dcc","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 105, Iss Proc. FTSCS 2012, Pp 118-134 (2012)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.4204/eptcs.105.9","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.105.9","pdf_url":"https://arxiv.org/pdf/1301.0045","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2076585238.pdf","grobid_xml":"https://content.openalex.org/works/W2076585238.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1497530712","https://openalex.org/W1508650311","https://openalex.org/W1533829658","https://openalex.org/W1990328104","https://openalex.org/W1994969566","https://openalex.org/W2013747113","https://openalex.org/W2042562411","https://openalex.org/W2047588704","https://openalex.org/W2051202782","https://openalex.org/W2056267966","https://openalex.org/W2102583402","https://openalex.org/W2121478264","https://openalex.org/W2130851966","https://openalex.org/W2131373949","https://openalex.org/W2135892629","https://openalex.org/W2156200189","https://openalex.org/W2169475202"],"related_works":[],"abstract_inverted_index":{"We":[0,21,37],"develop":[1],"a":[2,23,27,85],"timed":[3],"calculus":[4,41],"for":[5],"Mobile":[6],"Ad":[7],"Hoc":[8],"Networks":[9],"embodying":[10],"the":[11,33,62,67,78,97],"peculiarities":[12],"of":[13,61,70],"local":[14],"broadcast,":[15],"node":[16,53,86],"mobility":[17,54],"and":[18,26,31,44,55],"communication":[19,56],"interference.":[20,57],"present":[22],"Reduction":[24],"Semantics":[25,30],"Labelled":[28],"Transition":[29],"prove":[32],"equivalence":[34],"between":[35],"them.":[36],"then":[38],"apply":[39],"our":[40],"to":[42,65],"model":[43],"study":[45],"some":[46],"MAC-layer":[47],"protocols":[48],"with":[49],"special":[50],"emphasis":[51],"on":[52],"A":[58],"main":[59],"purpose":[60],"semantics":[63],"is":[64,87],"describe":[66],"various":[68],"forms":[69],"interference":[71,81],"while":[72],"nodes":[73],"change":[74],"their":[75],"locations":[76],"in":[77],"network.":[79],"Such":[80],"only":[82],"occurs":[83],"when":[84],"simultaneously":[88],"reached":[89],"by":[90],"more":[91],"than":[92],"one":[93],"ongoing":[94],"transmission":[95],"over":[96],"same":[98],"channel.":[99]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2016-06-24T00:00:00"}