Back to Results
First PageMeta Content
Category theory / Abstract algebra / Algebra / Mathematics / Morphism / Category / Group action / Natural transformation / Limit / Subcategory / Functor / Universal property


Guarded Transitions in Evolving Speci cations Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of speci cations, where assignment state
Add to Reading List

Document Date: 2012-08-02 20:51:33


Open Document

File Size: 253,78 KB

Share Result on Facebook
UPDATE