Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

CLLC's bisimilarity [2 articles] Export

Recent papers added to CLLC's library classified by the tag bisimilarity. You can also see everyone's bisimilarity.

Note: You may cite this page as: http://www.citeulike.org/user/CLLC/tag/bisimilarity

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

coalgebra	10
modal_logic	6
parameterized_complexity	6
relevant_logic	6
book	5
computably_enumerable_reals	5
kolmogorov_complexity	5
lock-free	5
thesis-msc	5
boolean_algebra	4
computably_enumerable	4
nonblocking	4
polynomial_functor	4
refinement_calculus	4
thesis-phd	4
comonad	3
covariety	3
logic	3
proof_theory	3
randomness	3
simulation	3
verification	3
algorithms	2
bisimilarity	2
bisimulation	2
concurrency	2
dcas	2
editorial	2
ershov_hierarchy	2
final_coalgebra	2
history_of_logic	2
kripke_semantics	2
meaning	2
natural_deduction	2
real	2
refinement	2
schnorr_randomness	2
software_development	2
software_maintenance	2
software_reusability	2
1-generic_sets	1
64bit	1
abstract_logic	1
algorithmic_information_theory	1
automorphism	1
belief_revision	1
cas	1
coequation	1
coinductive	1
computability	1
computable_linear_order	1
computational_complexity	1
congruence	1
constructive_logic	1
cubic_algebras	1
difference_set	1
dushnikmiller	1
filters	1
final_object	1
formal_specification	1
herrmann_sets	1
intervals	1
intuitionistic_logic	1
io_automata	1
irredundant_sets	1
kraftchaitin	1
kurtz_randomness	1
lambda_calculus	1
linearisability	1
linked_lists	1
llsc	1
logic_programming	1
lowness	1
martingale	1
memory_management	1
multiprocessors	1
nonstandard_analysis	1
observable_formula	1
paraconsistent_logic	1
prefix-free	1
presentation	1
presentations	1
queue	1
reducibility	1
relative_randomness	1
self-embedding	1
set_theory	1
solovay_reducibility	1
trees	1
turing_degrees	1
turing_machines	1
ultraproduct	1
variety	1
wtt-degrees	1
z	1

	A modal proof theory for final polynomial coalgebras [My Copy] Theoretical Computer Science, Vol. In Press, Corrected Proof by David Friggens, Robert Goldblatt posted to bisimilarity coalgebra final_coalgebra modal_logic polynomial_functor by CLLC on 2006-03-28 04:55:30 as
	Final coalgebras and the Hennessy-Milner property [My Copy] Annals of Pure and Applied Logic In New Zealand Institute of Mathematics and its Applications: Logic and Computation Programme, Vol. 138, No. 1-3. (March 2006), pp. 77-93. by Robert Goldblatt posted to abstract_logic bisimilarity bisimulation coalgebra coinductive congruence final_object by CLLC on 2006-03-27 11:42:14 as

CLLC's bisimilarity [2 articles] Export

CLLC's tags