It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
Saved in:
| Title: | It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. |
|---|---|
| Authors: | Basin, David1, basin@inf.ethz.ch, Foster, Nate2, jnfoster@cs.cornell.edu, McMillan, Kenneth L.3, kenmcm@cs.utexas.edu, Namjoshi, Kedar S.4, kedar.namjoshi@nokia-bell-labs.com, Nita-Rotaru, Cristina5, c.nitarotaru@northeastern.edu, Smith, Jonathan M.6, jms@seas.upenn.edu, Zave, Pamela7, pamela@pamelazave.com, Zuck, Lenore D.8, zuck@uic.edu |
| Source: | Communications of the ACM; Aug2025, Vol. 68 Issue 8, p50-61, 12p |
| Database: | Applied Science & Technology Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 186913162 AccessLevel: 2 PubType: Periodical PubTypeId: serialPeriodical PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Basin%2C+David%22">Basin, David</searchLink><relatesTo>1</relatesTo>, <i>basin@inf.ethz.ch</i><br /><searchLink fieldCode="AU" term="%22Foster%2C+Nate%22">Foster, Nate</searchLink><relatesTo>2</relatesTo>, <i>jnfoster@cs.cornell.edu</i><br /><searchLink fieldCode="AU" term="%22McMillan%2C+Kenneth+L%2E%22">McMillan, Kenneth L.</searchLink><relatesTo>3</relatesTo>, <i>kenmcm@cs.utexas.edu</i><br /><searchLink fieldCode="AU" term="%22Namjoshi%2C+Kedar+S%2E%22">Namjoshi, Kedar S.</searchLink><relatesTo>4</relatesTo>, <i>kedar.namjoshi@nokia-bell-labs.com</i><br /><searchLink fieldCode="AU" term="%22Nita-Rotaru%2C+Cristina%22">Nita-Rotaru, Cristina</searchLink><relatesTo>5</relatesTo>, <i>c.nitarotaru@northeastern.edu</i><br /><searchLink fieldCode="AU" term="%22Smith%2C+Jonathan+M%2E%22">Smith, Jonathan M.</searchLink><relatesTo>6</relatesTo>, <i>jms@seas.upenn.edu</i><br /><searchLink fieldCode="AU" term="%22Zave%2C+Pamela%22">Zave, Pamela</searchLink><relatesTo>7</relatesTo>, <i>pamela@pamelazave.com</i><br /><searchLink fieldCode="AU" term="%22Zuck%2C+Lenore+D%2E%22">Zuck, Lenore D.</searchLink><relatesTo>8</relatesTo>, <i>zuck@uic.edu</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Communications+of+the+ACM%22">Communications of the ACM</searchLink>; Aug2025, Vol. 68 Issue 8, p50-61, 12p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=186913162 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1145/3706572 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 12 StartPage: 50 Titles: – TitleFull: It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Basin, David – PersonEntity: Name: NameFull: Foster, Nate – PersonEntity: Name: NameFull: McMillan, Kenneth L. – PersonEntity: Name: NameFull: Namjoshi, Kedar S. – PersonEntity: Name: NameFull: Nita-Rotaru, Cristina – PersonEntity: Name: NameFull: Smith, Jonathan M. – PersonEntity: Name: NameFull: Zave, Pamela – PersonEntity: Name: NameFull: Zuck, Lenore D. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 08 Text: Aug2025 Type: published Y: 2025 Identifiers: – Type: issn-print Value: 00010782 Numbering: – Type: volume Value: 68 – Type: issue Value: 8 Titles: – TitleFull: Communications of the ACM Type: main |
| ResultId | 1 |
