Search results for "coreflection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	M. G. Charalambous	Direct Constructions of the Paracompact Coreflections of Frames.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	coreflection, cover regular, Lindelöf and paracompact frame, regular, normal, compact, nearness
50	Manfred Droste, R. M. Shortt	From Petri Nets to Automata with Concurrency.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction
41	Jorge Martinez 0001, Eric Richard Zenk	Epicompletion in Frames with Skeletal Maps, II: Compact Normal Joinfit Frames.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D22, Secondary 18A20 - 18A30
41	Bernhard Banaschewski, Christopher Gilmour	Realcompactness and the Cozero Part of a Frame.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	realcompact, Lindelöf, cozero, zero-dimensional, frame, frame
40	Maria Emilia Maietti, Silvio Valentini	A structural investigation on formal topology: coreflection of formal covers and exponentiability.	J. Symb. Log.	2004	DBLP DOI BibTeX RDF
40	Martín Hötzel Escardó	On the Compact-regular Coreflection of a Stably Locally Compact Locale.	MFPS	1999	DBLP DOI BibTeX RDF
40	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	Unfolding of Double-Pushout Graph Grammars is a Coreflection.	TAGT	1998	DBLP DOI BibTeX RDF
29	Worthen Hunsaker, Jorge Picado	Frames with Transitive Structures.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	zero-dimensional frames resp. biframes, (quasi-)uniform frames, transitive (quasi-)uniform frames, totally bounded coreflection, universal zero-dimensional compactification, completion
29	Miroslav Husek, Anna Tozzi	A Generalization of Herrlich's Question on Almost Reflective and Coreflective Subclasses of Top and Unif.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	generalized reflection, generalized coreflection
21	Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001	Unfolding Grammars in Adhesive Categories.	CALCO	2009	DBLP DOI BibTeX RDF
21	Dharmanand Baboolal, Paranjothi Pillay	A Note on Locally Pathwise Connected Metric Spaces.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 54A05
21	Bernhard Banaschewski	The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 46E25, 54C30
21	Roman S. Dubtsov	Real-Time Event Structures and Scott Domains.	PaCT	2005	DBLP DOI BibTeX RDF
21	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari, Leila Ribeiro 0001	Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.	WADT	2002	DBLP DOI BibTeX RDF
21	Bernhard Banaschewski	The Axiom of Countable Choice and Pointfree Topology.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	zero-dimensional frames, completely regular frames, coreflections from Lindelöf frames, Axiom of Countable Choice
21	Manfred Droste, R. M. Shortt	Continuous Petri Nets and Transition Systems.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
21	H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy	A General Categorical Connection between Local Event Structures and Local Traces.	FCT	1999	DBLP DOI BibTeX RDF
21	Rémi Morin, Brigitte Rozoy	On the Semantics of Place/Transition Nets.	CONCUR	1999	DBLP DOI BibTeX RDF
21	Vladimiro Sassone	On the Category of Petri Net Computations.	TAPSOFT	1995	DBLP DOI BibTeX RDF
21	José Meseguer 0001, Ugo Montanari, Vladimiro Sassone	On the Semantics of Petri Nets.	CONCUR	1992	DBLP DOI BibTeX RDF
21	Glynn Winskel	Petri Nets and Transition Systems (Abstract for an invited talk).	FSTTCS	1991	DBLP DOI BibTeX RDF