EPTCS 93 - ACCAT 2012
Ulrike Golas, Thomas Soboll (Eds.): Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory. 2012 EPTCS 93 [ contents ]- Zinovy Diskin, T. S. E. Maibaum: Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. ... 1-21
- Diego Latella, Mieke Massink, Erik P. de Vink: Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ... 23-43
- Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Decorated proofs for computational effects: States. ... 45-59
- Harald König, Uwe Wolter, Michael Löwe: Characterizing Van Kampen Squares via Descent Data. ... 61-81
- Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann: Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories. ... 83-104
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team