G AFB / Engineering University of California / aFB SR / University of California / /
IndustryTerm
large systems / hardware systems / cobasis algorithm / concurrent systems / circular coinductive rewriting algorithm / bit protocol / important contemporary computer systems / module systems / /
NaturalFeature
Elt Stream / Let STREAM / /
Organization
G8 / G7 / Lin San Diego Supercomputer Center / University of California / San Diego / Meaning and Computation Lab / University of California at San Diego / /
Person
Kokichi Futatsugi / B ZRT SR / Spike / Monica Marcus / Dorel Lucanu / Nat / Kai Lin / Joseph Goguen / Kai Lin San Diego / /