Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state

First Page		Document Content
Date: 2012-08-02 20:51:33 Category theory Abstract algebra Algebra Mathematics Morphism Category Group action Natural transformation Limit Subcategory Functor Universal property		Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 253,78 KB Share Document on Facebook

	Every Hodge class on a product of two complex projective K3 surfaces induces a homomorphism of rational Hodge structures between the respective transcendental lattices. Under the hypothesis that this morphism is an isome DocID: 1uej3 - View Document
	INERTIA GROUPS AND FIBERS BRIAN CONRAD Let K be a global field and X, Y two proper, connected K-schemes, with X normal and Y regular. Let f : X → Y be a finite, flat, generically Galois K-morphism which is tamely ramif DocID: 1udM1 - View Document
	The kernel of a monoid morphism ´ Pin1 Jean-Eric 1 LIAFA, CNRS and University Paris Diderot DocID: 1u5re - View Document
	APPENDIX: E-POLYNOMIALS, ZETA-EQUIVALENCE, AND POLYNOMIAL-COUNT VARIETIES NICHOLAS M. KATZ Given a noetherian ring R, we denote by (Sch/R) the category of separated Rschemes of finite type, morphisms being the R-morphism DocID: 1sCcV - View Document
	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES SHIN HATTORI Abstract. Let p > 2 be a rational prime and K/Qp be an extension of complete discrete valuation ﬁelds. Let G be a truncated BarsottiTate group of level n, heigh DocID: 1rtVq - View Document