Back to Results
First PageMeta Content
Mathematical logic / Mathematics / Computation tree logic / Bisimulation / Kripke structure / Model theory / Equivalence relation / CTL* / Fair computational tree logic / Temporal logic / Logic in computer science / Theoretical computer science


Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin†
Add to Reading List

Document Date: 2005-09-23 01:02:50

Open Document

File Size: 173,57 KB

Share Result on Facebook

City

Austin / /

Company

TX 78712 Berkeley Labs / /

Facility

University of Texas / University of California / /

IndustryTerm

concurrent finite-state systems / /

Organization

University of California / Berkeley / Department of ECE / University of Texas / Department of EECS / /

Person

Felice Balarin† Vigyan Singhal / Alberto Sangiovanni-Vincentelli / Rabin / Robert Brayton / /

ProvinceOrState

Texas / California / /

SocialTag