Ultrametric Semantics of Reactive Programs

Neelakantan R. Krishnaswami, Nick Benton

Research output: Contribution to conference (unpublished) › Paper › peer-review

55 Citations (Scopus)

Original language	English
Pages	257-266
DOIs	https://doi.org/10.1109/LICS.2011.38
Publication status	Published - 1 Jun 2011
Event	2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada, United Kingdom Duration: 21 Jun 2011 → 24 Jun 2011

Conference	2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
Country/Territory	United Kingdom
City	Toronto, ON, Canada
Period	21/06/11 → 24/06/11

Access to Document

@conference{820811153b2849d79b7b4278dafffa8e,

title = "Ultrametric Semantics of Reactive Programs",

author = "Krishnaswami, {Neelakantan R.} and Nick Benton",

year = "2011",

month = jun,

day = "1",

doi = "10.1109/LICS.2011.38",

language = "English",

pages = "257--266",

note = "2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) ; Conference date: 21-06-2011 Through 24-06-2011",

}