Back to Results
First PageMeta Content
Algebraic structures / Group theory / Module / Congruence relation / Subalgebra / Group action / Monad / Abstract algebra / Mathematics / Algebra


Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen Dept. Computer Science & Engineering University of California at San Diego Abstract
Add to Reading List

Document Date: 2005-07-09 15:47:18

Open Document

File Size: 242,37 KB

Share Result on Facebook

Company

Distributed Concurrent Systems / /

Currency

USD / /

/

Event

FDA Phase / /

Facility

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 / /

Position

op head / RT / head / /

Product

Section / /

ProgrammingLanguage

Ada / OBJ / Java / R / ML / C++ / /

ProvinceOrState

California / /

Technology

circular coinductive rewriting algorithm / 4 RW algorithm / Java / cobasis algorithm / alternating bit protocol / /

SocialTag