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.

mcclurmc's distributed-programming [6 articles] Export

Recent papers added to mcclurmc's library classified by the tag distributed-programming. You can also see everyone's distributed-programming.

Hide details

	The Byzantine Generals Problem [My Copy] ACM Trans. Program. Lang. Syst., Vol. 4, No. 3. (July 1982), pp. 382-401. by Leslie Lamport, Robert Shostak, Marshall Pease posted to topology distributed-programming by mcclurmc on 2009-09-19 16:23:09 as along with 17 people ddahlem simmcast kevinstuttgard myui mercutio egh e_anil kistijantoro pdlug jpmartin asilva EasonCheng epaulson henningpeters ljcamargos thehajime admash
	The join calculus: a language for distributed mobile programming [My Copy] (1 July 2000) by C. Fournet, G. Gonthier posted to concurrency distributed-programming programming-language-design by mcclurmc on 2009-03-11 16:22:40 as along with 2 people tautologico tlockney
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted to concurrency distributed-programming erlang pi-calculus programming-language-design semantics by mcclurmc on 2008-04-01 20:34:43 as along with 7 people and 3 groups ama08r tautologico dherman bfraser keigoi tov janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
	Communicating and Mobile Systems: the Pi Calculus [My Copy] (1999) by Robin Milner posted to concurrency distributed-programming pi-calculus theory-computation by mcclurmc on 2007-12-14 00:12:01 as along with 2 people cogumbreiro shimomura
	The Design and Implementation of Glasgow Distributed Haskell [My Copy] Lecture Notes in Computer Science, Vol. 2011 (2001), pp. 53-??. by R. F. Pointon, P. W. Trinder, H. W. Loidl posted to compilers concurrency distributed-programming haskell by mcclurmc on 2007-12-13 15:12:32 as
	Distributed Programming in Haskell with Ports [My Copy] In IFL '00: Selected Papers from the 12th International Workshop on Implementation of Functional Languages (2001), pp. 107-121. by Frank Huch, Ulrich Norbisrath posted to concurrency distributed-programming haskell by mcclurmc on 2007-12-13 14:59:52 as

Note: You may cite this page as: http://www.citeulike.org/user/mcclurmc/tag/distributed-programming

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.

type-theory	40
concurrency	28
functional-programming	26
oop	24
haskell	22
programming-language-design	20
monads	15
compilers	12
category-theory	11
pi-calculus	10
java	8
lambda-calculus	8
semantics	8
continuations	7
distributed-programming	6
logic	6
theory-computation	6
dsl	5
curry-howard	4
linear-types	4
ownership-types	4
scheme	4
generics	3
graph-theory	3
interpreters	3
metaprogramming	3
traits	3
type-inference	3
coq	2
dependent-types	2
functional-pearl	2
gadt	2
inheritance	2
lazy	2
monad-transformers	2
ssa	2
static-analysis	2
topology	2
tutorial	2
web-development	2
adt	1
clustering	1
comonads	1
c-plus-plus	1
datastructures	1
effects	1
erlang	1
golf	1
graphics	1
kernel-machine	1
language-spec	1
message-passing	1
physics	1
polymorphism	1
scala	1
theorem-prover	1
transformations	1

mcclurmc's distributed-programming [6 articles] Export

mcclurmc's tags