{"id":"https://openalex.org/W2002763600","doi":"https://doi.org/10.1007/s00165-004-0043-8","title":"A behavioral type system and its application in Ptolemy II","display_name":"A behavioral type system and its application in Ptolemy II","publication_year":2004,"publication_date":"2004-05-09","ids":{"openalex":"https://openalex.org/W2002763600","doi":"https://doi.org/10.1007/s00165-004-0043-8","mag":"2002763600"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-004-0043-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0043-8","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0043-8","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0043-8","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":["Department of Electrical Engineering and Computer Sciences, EECS, University of California, CA 94720, Berkeley, USA","EECS, University of California, Department of Electrical Engineering and Computer Sciences, CA 94720, Berkeley, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, EECS, University of California, CA 94720, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"EECS, University of California, Department of Electrical Engineering and Computer Sciences, CA 94720, Berkeley, USA#TAB#","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109344676","display_name":"Yuhong Xiong","orcid":null},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuhong Xiong","raw_affiliation_strings":["Hewlett-Packard Laboratories, Palo Alto, CA, USA","Hewlett-Packard Laboratories, Department of Electrical Engineering and Computer Sciences, Palo Alto, CA, CA 94720, Berkeley, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett-Packard Laboratories, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1324840837"]},{"raw_affiliation_string":"Hewlett-Packard Laboratories, Department of Electrical Engineering and Computer Sciences, Palo Alto, CA, CA 94720, Berkeley, USA#TAB#","institution_ids":["https://openalex.org/I1324840837"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":11.5652,"has_fulltext":true,"cited_by_count":80,"citation_normalized_percentile":{"value":0.98371762,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"16","issue":"3","first_page":"210","last_page":"237"},"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.9994000196456909,"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.9994000196456909,"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/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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7462022304534912},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5977977514266968},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.5174853801727295},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5085798501968384},{"id":"https://openalex.org/keywords/behavioral-modeling","display_name":"Behavioral modeling","score":0.4969804584980011},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4757775366306305},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.47491559386253357},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4509607255458832},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4202408194541931},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4027146100997925},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.21343863010406494},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12035802006721497},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.11593496799468994},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11201241612434387}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7462022304534912},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5977977514266968},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5174853801727295},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5085798501968384},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.4969804584980011},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4757775366306305},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.47491559386253357},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4509607255458832},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4202408194541931},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4027146100997925},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.21343863010406494},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12035802006721497},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.11593496799468994},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11201241612434387},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00165-004-0043-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0043-8","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0043-8","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:escholarship.org/ark:/13030/qt1nr5n0ps","is_oa":false,"landing_page_url":"https://escholarship.org/uc/item/1nr5n0ps","pdf_url":null,"source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Aspects of Computing, vol 16, iss 3","raw_type":"article"},{"id":"pmh:qt1nr5n0ps","is_oa":false,"landing_page_url":"http://www.escholarship.org/uc/item/1nr5n0ps","pdf_url":null,"source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lee, E A; & Xiong, Y H. (2004). A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing, 16(3), 210 - 237. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/1nr5n0ps","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s00165-004-0043-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0043-8","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0043-8","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4300000071525574}],"awards":[{"id":"https://openalex.org/G8670259422","display_name":null,"funder_award_id":"CCR-00225610","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2002763600.pdf","grobid_xml":"https://content.openalex.org/works/W2002763600.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W34890220","https://openalex.org/W356165034","https://openalex.org/W1479857408","https://openalex.org/W1487103029","https://openalex.org/W1492594903","https://openalex.org/W1511998399","https://openalex.org/W1519701469","https://openalex.org/W1523525039","https://openalex.org/W1531142781","https://openalex.org/W1532312848","https://openalex.org/W1532631480","https://openalex.org/W1534938212","https://openalex.org/W1535347731","https://openalex.org/W1549121707","https://openalex.org/W1565113942","https://openalex.org/W1574982839","https://openalex.org/W1586673500","https://openalex.org/W1597170585","https://openalex.org/W1597755753","https://openalex.org/W1605914096","https://openalex.org/W1638559933","https://openalex.org/W1756169151","https://openalex.org/W1759458553","https://openalex.org/W1796713582","https://openalex.org/W1969093922","https://openalex.org/W1974986814","https://openalex.org/W1986053257","https://openalex.org/W1995008247","https://openalex.org/W2000302396","https://openalex.org/W2013658284","https://openalex.org/W2013672985","https://openalex.org/W2014991672","https://openalex.org/W2019633511","https://openalex.org/W2024914463","https://openalex.org/W2027657506","https://openalex.org/W2057031186","https://openalex.org/W2072794470","https://openalex.org/W2083555015","https://openalex.org/W2091158003","https://openalex.org/W2091528902","https://openalex.org/W2092952058","https://openalex.org/W2093397547","https://openalex.org/W2094160561","https://openalex.org/W2107315290","https://openalex.org/W2110425399","https://openalex.org/W2128932399","https://openalex.org/W2139310161","https://openalex.org/W2148931284","https://openalex.org/W2154581630","https://openalex.org/W2184131427","https://openalex.org/W2293287097","https://openalex.org/W2294680933","https://openalex.org/W2800633717","https://openalex.org/W3144368627","https://openalex.org/W3148899525","https://openalex.org/W4234743865","https://openalex.org/W4239277337","https://openalex.org/W4255905343","https://openalex.org/W4256363426","https://openalex.org/W4300885858"],"related_works":["https://openalex.org/W57206970","https://openalex.org/W3196191855","https://openalex.org/W1950785758","https://openalex.org/W4235091896","https://openalex.org/W2023896637","https://openalex.org/W2185981755","https://openalex.org/W2498253392","https://openalex.org/W2996527951","https://openalex.org/W1539846681","https://openalex.org/W2275976463"],"abstract_inverted_index":{"Abstract.":[0],"Interface":[1],"automata":[2,53,71,125,154],"[deH01]":[3],"have":[4],"been":[5],"introduced":[6],"as":[7,15],"an":[8],"interface":[9,52,70,124,153],"theory":[10],"[deH01a]":[11],"capable":[12],"of":[13,26,45,69,92,152,159,185],"functioning":[14],"a":[16,56,81],"behavioral":[17,36,57,74,110,186],"type":[18,21,34,37,58,111,116,143,165,187],"system.":[19,112],"Behavioral":[20],"systems":[22,38],"describe":[23],"dynamic":[24,169],"properties":[25,68],"components":[27],"and":[28,66,76,136,162,175],"their":[29],"compositions.":[30],"Like":[31],"traditional":[32],"(data)":[33],"systems,":[35],"can":[39],"be":[40],"used":[41,104],"to":[42,54,72,89,141,148,155,163],"check":[43],"compatibility":[44],"components.":[46],"In":[47,94,113,139],"this":[48,95,115],"paper,":[49,96],"we":[50,97,118,127,145],"use":[51,151],"devise":[55],"system":[59],"for":[60],"Ptolemy":[61,78],"II,":[62],"leveraging":[63],"the":[64,101,109,150,156,180,183],"contravariant":[65],"optimistic":[67],"achieve":[73],"subtyping":[75],"polymorphism.":[77],"II":[79],"is":[80],"software":[82],"framework":[83],"supporting":[84],"concurrent":[85],"component":[86,106,160,170],"composition":[87],"according":[88],"diverse":[90],"models":[91],"computation.":[93],"focus":[98],"on":[99],"representing":[100],"communication":[102,107],"protocols":[103],"in":[105,123,182],"within":[108],"building":[114],"system,":[117],"identify":[119],"two":[120,132],"key":[121],"limitations":[122,130],"formalisms;":[126],"overcome":[128],"these":[129],"with":[131],"extensions,":[133],"transient":[134],"states":[135,161],"projection":[137],"automata.":[138],"addition":[140],"static":[142],"checking,":[144,166],"also":[146],"propose":[147],"extend":[149],"on-line":[157],"reflection":[158],"run-time":[164],"which":[167],"enable":[168],"creation,":[171],"morphing":[172],"application":[173],"structure,":[174],"admission":[176],"control.":[177],"We":[178],"discuss":[179],"trade-offs":[181],"design":[184],"systems.":[188]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":6}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}