keigoi's distributed [15 articles] Export

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

	A theory of system behaviour in the presence of node and link failures [My Copy] (2005), pp. 368-382. by Adrian Francalanza, Matthew Hennessy posted to distributed picalculus by keigoi on 2009-05-23 09:12:47 as
	A Distributed Pi-Calculus [My Copy] (2007) by Matthew Hennessy posted to distributed by keigoi on 2009-05-05 04:13:12 as
	Concurrency oriented programming in termite scheme [My Copy] In ERLANG '06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang (2006), pp. 20-20. by Guillaume Germain posted to distributed scheme by keigoi on 2008-10-15 10:19:44 as
	Localities and failures (extended summary) [My Copy] : Foundation of Software Technology and Theoretical Computer Science (1994), pp. 205-216. by Roberto M. Amadio, Sanjiva Prasad posted to distributed location by keigoi on 2007-03-23 23:00:39 as
	Towards a behavioural theory of access and mobility control in distributed systems [My Copy] Theoretical Computer Science In Foundations of Wide Area Network Computing, Vol. 322, No. 3. (6 September 2004), pp. 615-669. by Matthew Hennessy, Massimo Merro, Julian Rathke posted to distributed picalculus by keigoi on 2007-03-23 22:24:55 as
	Type inference for a distributed [pi]-calculus [My Copy] Science of Computer Programming In 12th European Symposium on Programming (ESOP 2003), Vol. 50, No. 1-3. (March 2004), pp. 225-251. by Cedric Lhoussaine posted to distributed picalculus by keigoi on 2007-03-23 22:23:34 as along with 1 person and 2 groups jonathanbp Software_Architecture Pervasive_Distributed_Systems
	Adding recursion to Dpi [My Copy] Theoretical Computer Science In Structural Operational Semantics, Vol. 373, No. 3. (5 April 2007), pp. 182-212. by Samuel Hym, Matthew Hennessy posted to distributed location picalculus by keigoi on 2007-03-23 22:14:42 as
	Architecture Description for Mobile Distributed Systems Using Typed [pi]-Calculus [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005), Vol. 150, No. 1. (9 March 2006), pp. 51-60. by Volker Gruhn, Clemens Schafer posted to distributed picalculus by keigoi on 2007-03-22 00:08:40 as
	Modelling dynamic web data [My Copy] Theoretical Computer Science In Applied Semantics: Selected Topics, Vol. 342, No. 1. (6 September 2005), pp. 104-131. by Philippa Gardner, Sergio Maffeis posted to concurrency distributed picalculus webapplication by keigoi on 2007-03-22 00:04:26 as along with 5 people web03 librarian01 p2p01 blog01 education02
	Structured coalgebras and minimal HD-automata for the [pi]-calculus [My Copy] Theoretical Computer Science In Mathematical Foundations of Computer Science 2000, Vol. 340, No. 3. (31 August 2005), pp. 539-576. by Ugo Montanari, Marco Pistore posted to categorytheory concurrency distributed picalculus by keigoi on 2007-03-22 00:02:50 as
	Towards a Tree of Channels [My Copy] Electronic Notes in Theoretical Computer Science In FGC, Foundations of Global Computing, 2nd EATCS Workshop (Satellite Event of ICALP 2003), Vol. 85, No. 1. (September 2003), 80. by Xudong Guan posted to concurrency distributed picalculus by keigoi on 2007-03-15 08:24:24 as along with 1 person and 1 group janschaefer TU-KL-SoftwareTechnologyGroup
	Mobile Agents in Interaction Spaces [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), Foundations of Coordination Languages and Software Architectures 2005, Vol. 154, No. 1. (11 May 2006), pp. 63-82. by Frederic Peschanski posted to concurrency distributed picalculus by keigoi on 2007-03-15 05:50:09 as
	A Theory for Observational Fault Tolerance [My Copy] : Foundations of Software Science and Computation Structures (2006), pp. 16-31. by Adrian Francalanza, Matthew Hennessy posted to distributed faulttolerance by keigoi on 2007-02-11 08:13:34 as
	Dynamic rebinding for marshalling and update, with destruct-time ? [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 99-110. by Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough posted to distributed by keigoi on 2006-10-22 22:51:47 as
	Resource Access Control in Systems of Mobile Agents [My Copy] Information and Computation, Vol. 173, No. 1. (25 February 2002), pp. 82-120. by Matthew Hennessy, James Riely posted to concurrency distributed location picalculus by keigoi on 2006-07-26 10:20:47 as along with 1 person and 1 group rgb pileWorks

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

concurrency	78
picalculus	77
haskell	40
functionalprogramming	36
causality	19
operationalsemantics	17
distributed	15
softwareengineering	13
session	12
type	12
modelchecking	11
eventstructure	10
embeddedlanguage	9
webapplication	9
gui	8
hoas	8
java	6
metaprogramming	6
visualization	6
web_verification	6
comprehension	5
configurationmanagement	5
context	5
fundeps	5
network	5
programlogic	5
refactoring	5
softwaredesign	5
stringanalysis	5
typeclass	5
abstractinterpretation	4
concurrency-monad	4
domainspecific	4
embedded	4
location	4
logicprogramming	4
maude	4
modallogic	4
monad	4
programming	4
slicing	4
aspectoriented	3
chr	3
coq	3
databasereverse	3
dataflow	3
debruijn	3
implementation	3
javascript	3
lineartype	3
modulesystem	3
operatingsystem	3
programanalysis	3
reliability	3
reverse	3
safe-c	3
tile	3
workflowmanagement	3
ambient	2
categorytheory	2
continuation	2
cyclone	2
flowtype	2
fullabstraction	2
genericprogramming	2
hdautomata	2
modeling	2
refinement	2
rewritinglogic	2
softwareprocess	2
strictnessanalysis	2
subtyping	2
timedautomata	2
typedirected	2
alias	1
binary	1
c	1
cache	1
codeduplication	1
cognitive	1
component	1
continuationserver	1
csp	1
deadlock	1
denotationalsemantics	1
dependency	1
dimensional_analysis	1
dsl	1
duce	1
erlang	1
escapeanalysis	1
expressiveness	1
faulttolerance	1
gadt	1
hardware	1
immutable	1
iospec	1
lowlevel	1
lts	1
memory	1
migration	1
multilanguage	1
object_oriented_programming	1
p2p	1
partialevaluation	1
proofcarrying	1
region	1
resourcebounds	1
resourceusage	1
reuse	1
ruby	1
scala	1
scheme	1
spreadsheet	1
stm	1
survey	1
termrewriting	1
testing	1
timedsystem	1
trs	1
typecast	1
typefunction	1

keigoi's distributed [15 articles] Export

keigoi's tags