{"id":"https://openalex.org/W2056130726","doi":"https://doi.org/10.1017/s0960129512000278","title":"A modular formal semantics for Ptolemy","display_name":"A modular formal semantics for Ptolemy","publication_year":2013,"publication_date":"2013-07-08","ids":{"openalex":"https://openalex.org/W2056130726","doi":"https://doi.org/10.1017/s0960129512000278","mag":"2056130726"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129512000278","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129512000278","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C35B97F38A3D660B66C686D6782C2224/S0960129512000278a.pdf/div-class-title-a-modular-formal-semantics-for-ptolemy-a-href-fn01-ref-type-fn-span-class-sup-span-a-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C35B97F38A3D660B66C686D6782C2224/S0960129512000278a.pdf/div-class-title-a-modular-formal-semantics-for-ptolemy-a-href-fn01-ref-type-fn-span-class-sup-span-a-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080042319","display_name":"Stavros Tripakis","orcid":"https://orcid.org/0000-0002-1777-493X"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"STAVROS TRIPAKIS","raw_affiliation_strings":["University of California, Berkeley, California, U.S.A. Email:","University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, California, U.S.A. Email:","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062716798","display_name":"Christos Stergiou","orcid":"https://orcid.org/0000-0002-7713-3667"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"CHRISTOS STERGIOU","raw_affiliation_strings":["University of California, Berkeley, California, U.S.A. Email:","University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, California, U.S.A. Email:","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021407214","display_name":"Chris Shaver","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"CHRIS SHAVER","raw_affiliation_strings":["University of California, Berkeley, California, U.S.A. Email:","University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, California, U.S.A. Email:","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009831760","display_name":"Edward A. Lee","orcid":"https://orcid.org/0000-0002-5663-0584"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"EDWARD A. LEE","raw_affiliation_strings":["University of California, Berkeley, California, U.S.A. Email:","University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, California, U.S.A. Email:","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5080042319"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":6.0258,"has_fulltext":true,"cited_by_count":44,"citation_normalized_percentile":{"value":0.96236652,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"23","issue":"4","first_page":"834","last_page":"881"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9958000183105469,"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/ptolemys-table-of-chords","display_name":"Ptolemy's table of chords","score":0.9521108865737915},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7316486239433289},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.7191845178604126},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6340652704238892},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6169601678848267},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6152569651603699},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5533542037010193},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5073093771934509},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4976365864276886},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.48754093050956726},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.43520212173461914},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1263972520828247}],"concepts":[{"id":"https://openalex.org/C46984397","wikidata":"https://www.wikidata.org/wiki/Q7257100","display_name":"Ptolemy's table of chords","level":2,"score":0.9521108865737915},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7316486239433289},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.7191845178604126},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6340652704238892},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6169601678848267},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6152569651603699},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5533542037010193},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5073093771934509},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4976365864276886},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.48754093050956726},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43520212173461914},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1263972520828247},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0960129512000278","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129512000278","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C35B97F38A3D660B66C686D6782C2224/S0960129512000278a.pdf/div-class-title-a-modular-formal-semantics-for-ptolemy-a-href-fn01-ref-type-fn-span-class-sup-span-a-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.230.9446","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.9446","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://chess.eecs.berkeley.edu/pubs/877/ptolemy.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.261.385","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.385","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-verimag.imag.fr/PEOPLE/Stavros.Tripakis/papers/ptolemy.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1017/s0960129512000278","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129512000278","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C35B97F38A3D660B66C686D6782C2224/S0960129512000278a.pdf/div-class-title-a-modular-formal-semantics-for-ptolemy-a-href-fn01-ref-type-fn-span-class-sup-span-a-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.550000011920929}],"awards":[{"id":"https://openalex.org/G298080217","display_name":null,"funder_award_id":"0931843","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3331613907","display_name":null,"funder_award_id":"931843","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6440461290","display_name":null,"funder_award_id":"0720882","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7452299184","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G862988727","display_name":null,"funder_award_id":"W911NF-11","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G8998121839","display_name":null,"funder_award_id":"911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2056130726.pdf","grobid_xml":"https://content.openalex.org/works/W2056130726.grobid-xml"},"referenced_works_count":91,"referenced_works":["https://openalex.org/W19851560","https://openalex.org/W317525405","https://openalex.org/W897054116","https://openalex.org/W1491037212","https://openalex.org/W1496267491","https://openalex.org/W1499488621","https://openalex.org/W1503029938","https://openalex.org/W1505618619","https://openalex.org/W1507695589","https://openalex.org/W1512417606","https://openalex.org/W1542768242","https://openalex.org/W1543281322","https://openalex.org/W1567551938","https://openalex.org/W1576494527","https://openalex.org/W1578262153","https://openalex.org/W1586673500","https://openalex.org/W1589725893","https://openalex.org/W1591459546","https://openalex.org/W1594805844","https://openalex.org/W1597755753","https://openalex.org/W1691395408","https://openalex.org/W1959069981","https://openalex.org/W1994387179","https://openalex.org/W2004463571","https://openalex.org/W2010945517","https://openalex.org/W2018779008","https://openalex.org/W2019952623","https://openalex.org/W2023309117","https://openalex.org/W2026024337","https://openalex.org/W2028133921","https://openalex.org/W2033351919","https://openalex.org/W2048145195","https://openalex.org/W2049316772","https://openalex.org/W2052363833","https://openalex.org/W2058104334","https://openalex.org/W2072757019","https://openalex.org/W2080003993","https://openalex.org/W2082665131","https://openalex.org/W2084772005","https://openalex.org/W2086061185","https://openalex.org/W2090950090","https://openalex.org/W2091158003","https://openalex.org/W2093397547","https://openalex.org/W2095994109","https://openalex.org/W2098346263","https://openalex.org/W2098851201","https://openalex.org/W2098885896","https://openalex.org/W2099529102","https://openalex.org/W2101508170","https://openalex.org/W2101808924","https://openalex.org/W2103684726","https://openalex.org/W2103953153","https://openalex.org/W2104326597","https://openalex.org/W2104922219","https://openalex.org/W2110176660","https://openalex.org/W2113239343","https://openalex.org/W2114781590","https://openalex.org/W2117166466","https://openalex.org/W2119355229","https://openalex.org/W2125415493","https://openalex.org/W2125436261","https://openalex.org/W2127044011","https://openalex.org/W2127335869","https://openalex.org/W2133038101","https://openalex.org/W2135702071","https://openalex.org/W2139842876","https://openalex.org/W2141706812","https://openalex.org/W2146928461","https://openalex.org/W2150408604","https://openalex.org/W2153894526","https://openalex.org/W2159542925","https://openalex.org/W2162885111","https://openalex.org/W2165550854","https://openalex.org/W2167410911","https://openalex.org/W2169180789","https://openalex.org/W2169364172","https://openalex.org/W2170064878","https://openalex.org/W2404118354","https://openalex.org/W2495540235","https://openalex.org/W3003801367","https://openalex.org/W3009865963","https://openalex.org/W3139716548","https://openalex.org/W3141112769","https://openalex.org/W4241912666","https://openalex.org/W4247767915","https://openalex.org/W4285719527","https://openalex.org/W4291986170","https://openalex.org/W6629762304","https://openalex.org/W6641057232","https://openalex.org/W6656221676","https://openalex.org/W6842644410"],"related_works":["https://openalex.org/W853968505","https://openalex.org/W4205155023","https://openalex.org/W1560212329","https://openalex.org/W1964018276","https://openalex.org/W2079042670","https://openalex.org/W2172280579","https://openalex.org/W1554549042","https://openalex.org/W1587421834","https://openalex.org/W2360304673","https://openalex.org/W2117166466"],"abstract_inverted_index":{"Ptolemy":[0,41,115],"\u2021":[1],"is":[2,43,91],"an":[3,31,66],"open-source":[4],"and":[5,8,24,51,79,96,148],"extensible":[6],"modelling":[7],"simulation":[9],"framework.":[10],"It":[11],"offers":[12],"heterogeneous":[13],"modeling":[14],"capabilities":[15],"by":[16],"allowing":[17],"different":[18,122],"models":[19,123,137],"of":[20,104,124,138],"computation,":[21],"both":[22],"untimed":[23],"timed,":[25],"to":[26,65,93],"be":[27],"composed":[28],"hierarchically":[29],"in":[30,45,56,114],"arbitrary":[32],"fashion.":[33],"This":[34],"paper":[35],"proposes":[36],"a":[37,57],"formal":[38],"semantics":[39],"for":[40,134],"that":[42,48,69,113],"modular":[44],"the":[46,89,99,102,132,135],"sense":[47],"atomic":[49],"actors":[50,63,107],"their":[52],"compositions":[53],"are":[54,108,116],"treated":[55],"unified":[58],"way.":[59],"In":[60,126],"particular,":[61],"all":[62],"conform":[64],"executable":[67],"interface":[68],"contains":[70],"four":[71],"functions:":[72],"fire":[73],"(produce":[74],"outputs":[75],"given":[76],"current":[77],"state":[78,83,100],"inputs);":[80],"postfire":[81],"(update":[82,98],"instantaneously);":[84],"deadline":[85],"(how":[86],"much":[87],"time":[88],"actor":[90],"willing":[92],"let":[94],"elapse);":[95],"time-update":[97],"with":[101],"passage":[103],"time).":[105],"Composite":[106],"obtained":[109],"using":[110],"composition":[111],"operators":[112],"called":[117],"directors.":[118],"Different":[119],"directors":[120,133],"realise":[121],"computation.":[125],"this":[127],"paper,":[128],"we":[129],"formally":[130],"define":[131],"following":[136],"computation:":[139],"synchronous-":[140],"reactive,":[141],"discrete":[142],"event,":[143],"continuous":[144],"time,":[145],"process":[146],"networks":[147],"modal":[149],"models.":[150]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}