| Document Date: 2003-01-31 19:38:39
Open Document File Size: 290,26 KBShare Result on Facebook
City Urbana-Champaign / / Country United States / / Facility Computer Science University of Illinois / Engineering University of California / / IndustryTerm larger applications / coinduction algorithms / coinduction algorithm / behavioral rewriting systems / c4rw algorithm / computing / optimistic algorithm / real-time asynchronous data transmission protocol / bit protocol / mutual exclusion algorithm / technology transfer / / NaturalFeature Elt Stream / / Organization University of Illinois / Department of Computer Science / University of California at San Diego / / Person Spike / / Position head / usual head / / ProvinceOrState Illinois / California / / Technology functional programming / c4rw algorithm / real-time asynchronous data transmission protocol / overly optimistic algorithm / alternating bit protocol / coinduction algorithm / coinduction algorithms / Petersen mutual exclusion algorithm / /
SocialTag |
Conditional Circular Coinductive Rewriting with Case Analysis Joseph Goguen1 , Kai Lin1 , Grigore Rosu2 Department of Computer Science & Engineering University of California at San Diego, USA 2