Search results for "Colimit"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Fabio Gadducci, Ugo Montanari	Graph Processes with Fusions: Concurrency by Colimits, Again.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF	dpo rewriting, concurrent semantics, process calculi
34	Tobias Fritz, Paolo Perrone	A Probability Monad as the Colimit of Finite Powers.	CoRR	2017	DBLP BibTeX RDF
34	John Bourke	A Colimit Decomposition for Homotopy Algebras in Cat.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
34	Benno van den Berg, Chris Heunen	Erratum to: Noncommutativity as a Colimit.	Appl. Categorical Struct.	2013	DBLP DOI BibTeX RDF
34	Benno van den Berg, Chris Heunen	Noncommutativity as a Colimit.	Appl. Categorical Struct.	2012	DBLP DOI BibTeX RDF
34	Mateusz Kostanek, Pawel Waszkiewicz	The limit-colimit coincidence theorem for -categories.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
34	Douglas R. Smith	Composition by Colimit and Formal Software Development.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
34	Jeremy Gibbons	Towards a Colimit-Based Semantics for Visual Programming.	COORDINATION	2002	DBLP DOI BibTeX RDF
34	Dietmar Wolz	Colimit library for graph transformations and algebraic development techniques.		1998	RDF
34	Edmund Robinson, Giuseppe Rosolini	Colimit Completions and the Effective Topos.	J. Symb. Log.	1990	DBLP DOI BibTeX RDF
31	Keith A. Hardie, Klaus Heiner Kamps, Peter J. Witbooi	A 2-groupoid Characterisation of the Cubical Homotopy Pushout.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	homotopy colimit, mapping simplex, homotopy 2-groupoid, coherent homotopy category, semitrack, interchange 2-track
31	Andrée C. Ehresmann	Localization of Universal Problems. Local Colimits.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	universal problem, colimit, category, poset, Galois theory
31	Steven Vickers, Gillian Hill	Presheaves as Configured Specifications.	Formal Aspects Comput.	2001	DBLP DOI BibTeX RDF	Colimit, Presheaf, Specification, Configuration, Diagram, Category
21	Anthony Karel Seda	Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
21	Paolo Baldan, Andrea Corradini 0001, Hartmut Ehrig, Reiko Heckel, Barbara König 0001	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.	CALCO	2007	DBLP DOI BibTeX RDF
21	Dai Tri Man Le, Ryszard Janicki	On a Parthood Specification Method for Component Software.	RSCTC	2006	DBLP DOI BibTeX RDF	“part of” relation, theory of composition and decomposition, software architecture, software components, mereology
21	Aaron D. Ames, Shankar Sastry 0001	A Homology Theory for Hybrid Systems: Hybrid Homology.	HSCC	2005	DBLP DOI BibTeX RDF
21	Claudio Hermida	Descent on 2-Fibrations and Strongly 2-Regular 2-Categories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	2-fibration, effective descent, essentially-surjective-on-objects, pseudo-monadicity
21	Gillian Hill, Steven Vickers	A Language for Configuring Multi-level Specifications.	AMAST	2004	DBLP DOI BibTeX RDF
21	Dusko Pavlovic, Douglas R. Smith	Software Development by Refinement.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
21	Julia Padberg	Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	high-level replacement systems, Petri net transformations, horizontal structuring, refinement, graph transformations
21	Jirí Velebil	Categorical Generalization of a Universal Domain.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	Scott domain, Scott complete category, universal domain
21	Gian Luca Cattani, Glynn Winskel	Presheaf Models for Concurrency.	CSL	1996	DBLP DOI BibTeX RDF
21	Till Mossakowski	Equivalences among Various Logical Frameworks of Partial Algebras.	CSL	1995	DBLP DOI BibTeX RDF
21	Peter T. Johnstone	Fibrations and partial products in a 2-category.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	partial product, Fibration, 2-category
21	Pierre America, Jan J. M. M. Rutten	Solving Reflexive Domain Equations in a Category of Complete Metric Spaces.	MFPS	1987	DBLP DOI BibTeX RDF	complete metric spaces, converging towers, contracting functors, Banach's fixed-point theorem, category theory, domain equations