Related Tags

764 actors algorithm algorithms analysis asynchronous atomicity calculus category-theory causality ccs chu-space collaboration computability-logic computation concurrent continuations csp database databases debugging distributed distributed-programming distribution domain-theory dynamical-system dynamics emergence erlang event folder30 functional functional-programming games garbage-collection geometry gtm hardcopy haskell icfp08 iff inference interactivity java join-calculus language language-implementation languages linda linear-logic lock lock-free logic logics memory ml modelchecking monads multiscale operating os paraconsistency parallel petri pi pi-calculus picalculus pl process process-algebra processes programming programming-language-design prolog queue race reconciliation reference-counting refinement replication scheme seda semantics simulation static_analysis stm structure symmetry-breaking systems testing threads time topology transaction transactional transactional-memory transactions type-theory types verification

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.