| Document Date: 2014-03-05 17:26:28
Open Document File Size: 297,76 KBShare Result on Facebook
City Philadelphia / / Company Computer Sciences / Bell Laboratories / / Country Netherlands / / Currency pence / / / Facility University of Pennsylvania / University of California at Berkeley / / IndustryTerm synchronous and asynchronous hardware / hardware-software codesign / synchronous systems / reactive systems / heterogeneous systems / concurrent systems / explicit search / software components / abstraction operator / mutual-exclusion protocol / message-passing protocol / search stack / synchronous message-passing protocols / search space / / OperatingSystem XP / / Organization University of California / University of Pennsylvania / Department of Electrical Engineering and Computer Sciences / / Person Ai / RAJEEV ALUR / / Position formal model for concurrent systems / scheduler / formal model for reactive computation / / ProvinceOrState Pennsylvania / California / / Technology mutual-exclusion protocol / synchronous message-passing protocols / 15 Asynchronous mutual-exclusion protocol / Synchronous message-passing protocol / shared memory / /
SocialTag |
Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR