christiankissig's no-tag [66 articles] Export Sort

Recent papers added to christiankissig's library classified by the tag no-tag. You can also see everyone's no-tag.

Hide details

	An Important Functor in Analysis and Topology [My Copy] The American Mathematical Monthly, Vol. 85, No. 1. (1978), pp. 41-43. by Donald Hartig posted to no-tag by christiankissig on 2010-01-03 10:44:57 as along with 1 person mstone
	Specification and refinement of probabilistic processes [My Copy] Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on (18 July 1991), pp. 266-277. by B. Jonsson, K. G. Larsen posted to no-tag by christiankissig on 2010-01-02 19:09:49 as
	Bisimulation for Labelled Markov Processes [My Copy] (1999) by Josée Desharnais, Abbas Edalat, Prakash Panangaden posted to no-tag by christiankissig on 2010-01-02 19:05:49 as
	Bisimulation through probabilistic testing (preliminary report) [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 344-352. by K. G. Larsen, A. Skou posted to no-tag by christiankissig on 2010-01-02 18:47:08 as
	Bisimulation for probabilistic transition systems: a coalgebraic approach [My Copy] In Proceedings of ICALP'97, Vol. 1256 (1997) by E. P. de Vink, J. J. M. M. Rutten posted to no-tag by christiankissig on 2010-01-02 17:32:57 as
	A Couple of Triples [My Copy] Topology and its Applications, Vol. 13, No. 2. (13 July 1979) by H. Simmons posted to no-tag by christiankissig on 2010-01-02 13:57:41 as
	Bialgebraic Operational Semantics and Modal Logic [My Copy] In LICS '07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (2007), pp. 336-345. by Bartek Klin posted to no-tag by christiankissig on 2010-01-02 13:45:24 as
	Cooperating sequential processes [My Copy] (2002), pp. 65-138. by Edsger W. Dijkstra posted to no-tag by christiankissig on 2010-01-01 13:13:12 as
	Universal algebra in a closed category [My Copy] Journal of Pure and Applied Algebra, Vol. 16, No. 2. (February 1980), pp. 133-147. by F. Borceux posted to no-tag by christiankissig on 2009-12-30 22:30:31 as
	Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS [My Copy] by Alex Simpson posted to no-tag by christiankissig on 2009-12-30 14:33:53 as
	Modal logics for communicating systems [My Copy] Theoretical Computer Science, Vol. 49, No. 2-3. (1987), pp. 311-347. by C. Stirling posted to no-tag by christiankissig on 2009-12-30 14:30:41 as
	Secrecy by Typing in Security Protocols [My Copy] Journal of the ACM, Vol. 46 (1998), pp. 611-638. by Martín Abadi posted to no-tag by christiankissig on 2009-12-30 14:27:40 as
	The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves [My Copy] (1993) by R. J. van Glabbeek posted to no-tag by christiankissig on 2009-12-30 14:25:44 as
	Testing equivalences for processes [My Copy] In Automata, Languages and Programming (1983), pp. 548-560. by R. de Nicola, M. Hennessy posted to no-tag by christiankissig on 2009-12-30 14:25:22 as
	A complete modal proof system for a subset of SCCS [My Copy] In Mathematical Foundations of Software Development (1985), pp. 253-266. by Colin Stirling posted to no-tag by christiankissig on 2009-12-30 14:24:33 as
	A Complete Compositional Model Proof System for a Subset of CCS [My Copy] In Proceedings of the 12th Colloquium on Automata, Languages and Programming (1985), pp. 475-486. by Colin Stirling posted to no-tag by christiankissig on 2009-12-30 14:23:38 as
	Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes [My Copy] In Automata, Languages and Programming (2009), pp. 99-111. by Martin Berger, Kohei Honda, Nobuko Yoshida posted to no-tag by christiankissig on 2009-12-30 13:54:12 as
	An Observationally Complete Program Logic for Imperative Higher-Order Functions [My Copy] In In Proc. LICS’05 (2005), pp. 270-279. by Kohei Honda, Nobuko Yoshida, Martin Berger posted to no-tag by christiankissig on 2009-12-30 12:58:31 as
	Semantics of Name and Value Passing [My Copy] In Proc. 16th LICS (2001), pp. 93-104. by Marcelo Fiore, Daniele Turi posted to no-tag by christiankissig on 2009-09-21 14:10:35 as
	A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems [My Copy] Mathematical. Structures in Comp. Sci., Vol. 18, No. 1. (2008), pp. 29-55. by Marco Bernardo, Stefania Botta posted to no-tag by christiankissig on 2009-09-21 14:10:27 as
	Compositionality of Hennessy–Milner logic by structural operational semantics [My Copy] Theoretical Computer Science, Vol. 354, No. 3. (04 April 2006), pp. 421-440. by W. Fokkink, R. Glabbeek, P. Dewind posted to no-tag by christiankissig on 2009-09-21 14:09:41 as
	Complete Positivity without Positivity and Without Compactness [My Copy] No. RR-07-05. (September 2007) by Bob Coecke posted to no-tag by christiankissig on 2009-06-16 10:08:08 as
	Process Realizability [My Copy] In Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School (2000), pp. 167-180. by S. Abramsky edited by F. L. Bauer, R. Steinbrüggen posted to no-tag by christiankissig on 2009-06-16 10:05:20 as
	Axioms for Definability and Full Completeness [My Copy] In Essays in Honour of Robin Milner (1999), pp. 55-75. by S. Abramsky edited by G. Plotkin, M. Tofte, C. Stirling posted to no-tag by christiankissig on 2009-06-16 10:05:20 as
	Proofs as Processes [My Copy] In J. Theoretical Computer Science, Vol. 135 (1994), pp. 5-9. by S. Abramsky posted to no-tag by christiankissig on 2009-06-16 10:05:20 as
	A Generalized Kahn Principle for Abstract Asynchronous Networks [My Copy] In Symposium on Mathematical Foundations of Programming Language Semantics (1990), pp. 1-21. by S. Abramsky edited by M. Mislove posted to no-tag by christiankissig on 2009-06-16 10:05:19 as
	Dualities between nets and automata induced by schizophrenic objects [My Copy] Category Theory and Computer Science (1995), pp. 24-43. by Eric Badouel, Philippe Darondeau posted to no-tag by christiankissig on 2009-05-21 01:26:52 as
	Proarrows II [My Copy] by John Wood posted to no-tag by christiankissig on 2009-05-02 11:17:59 as
	Abstract pro arrows I [My Copy] by John Wood posted to no-tag by christiankissig on 2009-05-02 11:17:24 as
	Moerdijk: Classifying toposes and foliations [My Copy] by Ieke Moerdijk posted to no-tag by christiankissig on 2009-02-20 13:06:27 as
	Classifying foliations [My Copy] (28 Oct 2008) by Steven Hurder posted to no-tag by christiankissig on 2009-02-20 13:04:57 as
	On Bicategories of Relations and Pullback Spans [My Copy] Communications in Algebra, Vol. 1, No. 5. (1974), pp. 377-401. by Jeanne Meisen posted to no-tag by christiankissig on 2009-02-19 15:55:00 as
	General self-similarity: an overview [My Copy] (15 Nov 2004) by Tom Leinster posted to no-tag by christiankissig on 2009-02-16 12:32:41 as along with 3 people Scis0000002 jrw scis0000001
	Decidability of S2S [My Copy] (2007) by Christian Kissig posted to no-tag by christiankissig on 2009-02-12 16:31:32 as
	Automata and Algebras in Categories [My Copy] (1990) by Jiri Adamek, Vera Trnkova posted to no-tag by christiankissig on 2009-01-29 13:41:50 as
	Coherence for tricategories [My Copy] Memoirs of the American Mathematical Society, Vol. 117, No. 558. (1995) by R. Gordon, John Power, Ross Street posted to no-tag by christiankissig on 2009-01-29 10:13:22 as along with 1 person vanja_y
	From Programs to Games: Invariance and Safety for Bisimulation [My Copy] In CSL, Vol. 1862 (2000), pp. 485-496. by Marc Pauly edited by Peter Clote, Helmut Schwichtenberg, Peter Clote, Helmut Schwichtenberg posted to no-tag by christiankissig on 2009-01-21 10:56:06 as
	Polynomial functors and opetopes [My Copy] (7 Jun 2007) by Joachim Kock, André Joyal, Michael Batanin, Jean-François Mascari posted to no-tag by christiankissig on 2008-12-15 11:22:48 as along with 1 person jrw
	Simplicial localization of monoidal structures, and a non-linear version of Deligne's conjecture [My Copy] (12 May 2003) by Joachim Kock, Bertrand Toën posted to no-tag by christiankissig on 2008-12-15 11:22:05 as
	Elementary remarks on units in monoidal categories [My Copy] (8 Jun 2006) by Joachim Kock posted to no-tag by christiankissig on 2008-12-15 11:21:36 as along with 1 person jrw
	Note on commutativity in double semigroups and two-fold monoidal categories [My Copy] (17 Aug 2006) by Joachim Kock posted to no-tag by christiankissig on 2008-12-15 11:21:09 as
	Weak units and homotopy 3-types [My Copy] (18 Aug 2006) by André Joyal, Joachim Kock posted to no-tag by christiankissig on 2008-12-15 11:20:46 as
	Weak identity arrows in higher categories [My Copy] (18 Jul 2005) by Joachim Kock posted to no-tag by christiankissig on 2008-12-15 11:20:19 as along with 1 person jonjonc
	Equivalence and Duality for Module Categories with Tilting and Cotilting for Rings [My Copy] by Ray R. Colby, Kent R. Fuller posted to no-tag by christiankissig on 2008-12-11 11:15:51 as
	Duality for modules and its applications to the theory of rings with minimum condition [My Copy] Sci. Rep. Tokyo Kyoiku Daigaku Sect. A by Kiiti Morita posted to no-tag by christiankissig on 2008-12-11 11:11:44 as
	Boolean algebras with operators. II [My Copy] Amer. J. Math., Vol. 74 (1952), pp. 127-162. by Bjarni Jónsson, Alfred Tarski posted to no-tag by christiankissig on 2008-11-03 11:57:19 as along with 1 person adrian_pigors
	Operational resolutions and state transitions in a categorical setting [My Copy] (3 Aug 2000) by Bob Coecke, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:16:18 as
	State transitions as morphisms for complete lattices [My Copy] (4 Aug 2000) by Bob Coecke, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:16:13 as
	Quantaloids Describing Causation and Propagation of Physical Properties [My Copy] (1 May 2001) by Bob Coecke, David J. Moore, Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:39 as
	Categorical structures enriched in a quantaloid: categories, distributors and functors [My Copy] (24 Sep 2004) by Isar Stubbe posted to no-tag by christiankissig on 2008-10-31 20:15:33 as

Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/tag/no-tag

Result page: 1 2 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

category_theory	133
file-import-samson-abramsky	57
coalgebra	53
logic	35
automata_theory	34
algebra	22
enriched_category_theory	20
monads	18
coalgebraic_modal_logic	17
physics	17
protocols	16
quantum_logics	14
domain_theory	14
modules	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
file-import-10-01-02	9
modal_logic	8
semirings	8
lawvere_theories	8
bicategories	8
trace_theory	7
quantum_logic	7
higher_category_theory	7
distributive_laws	7
limit-colimit-coincidence	7
hopf_algebras	6
topology	6
game_semantics	6
coalgebraic_logic	5
toposes	5
topoi	5
fibrations	5
processes	5
process_algebra	5
concurrency	5
pi_calculus	4
csp	4
sheaves	4
simulation	4
functor_lifting	4
hopf_monads	4
dagger_frobenius_algebras	4
differential_geometry	4
algebraic_topology	4
set_theory	4
interaction_categories	3
bigraphs	3
constraint_satisfaction_problems	3
wanted	3
lambda_calculus	3
observational_equivalence	3
coinduction	3
functors	3
toget	3
isbell_conjugacy	3
substituion_patterns	3
software_engineering	3
topological_field_theory	2
examples_functors	2
closed_categories	2
graph_theory	2
profinite_groups	2
hopf_algebra	2
geometry	2
elliptic_curves	2
cohomology	2
algebraic_specification	2
ccs	2
anonymity	2
homotopy	2
quantum_mechanics	2
traces	2
linear_logic	2
algebraic_geometry	2
trace_semantics	2
kleene_algebras	2
morita_duality	2
functor_representation	2
coalgebras	2
cryptography	2
logics	2
examples_monads	2
reversible_computing	2
factorisation_systems	2
universal_algebra	2
polynomial_equation	2
substitution_patterns	1
bialgebras	1
natural	1
knot_theory	1
tilings	1
mathematics	1
separation_logic	1
sos	1
computational_effects	1
predicate	1
cuboidal_sets	1
generalised_metric_spaces	1
hopf_mondas	1
commutative_monads	1
coalgebraic_automata_theory	1
algebraic_categories	1
bimonads	1
measure_theory	1
proof_theory	1
nominal_sets	1
homology	1
monad_strength	1
toread	1
gsos	1
file-import-09-09-22	1
expressivity	1
relation	1
tensor_categories	1
bialgebra	1
functional_programming	1
retraction	1
kleisli_category	1
substitution_systems	1
functor_presentation	1
quantaloids	1
programming	1
integration_theory	1
analysis	1
modal	1
petri_nets	1
constructive_mathematics	1
service_oriented_architectures	1
programming_languages	1
lifting	1
quantum_computing	1
categorical_logic	1
quantales	1
distributed_systems	1
subsitution_patterns	1
manifolds	1
automata	1
chu-spaces	1
stacks	1
haskell	1
domain_equations	1
number_theory	1
functional_analysis	1
mu_calculus	1
symmetric_monoidal	1
hilbert_spaces	1
multi_agent_logics	1
type_theory	1
comonads	1
complexity_theory	1
morita_equivalence	1
boolean_algebras	1
monad	1

christiankissig's no-tag [66 articles] Export Sort

christiankissig's tags