keigoi's Hennessy:M [13 articles] Export

Recent papers posted to keigoi's library by the author Hennessy:M. You can also see everyone's Hennessy:M.

	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
	Acceptance trees [My Copy] J. ACM, Vol. 32, No. 4. (1985), pp. 896-928. by M. Hennessy posted to concurrency by keigoi on 2008-12-01 06:31:52 as
	CCS without τ's [My Copy] TAPSOFT '87 (1987), pp. 138-152. by Rocco De Nicola, Matthew Hennessy posted to concurrency by keigoi on 2008-12-01 06:28:29 as
	On observing nondeterminism and concurrency [My Copy] Automata, Languages and Programming (1980), pp. 299-309. by Matthew Hennessy, Robin Milner posted to concurrency by keigoi on 2007-12-18 21:37:15 as along with 1 person olegus
	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
	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
	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
	Information flow vs. resource access in the asynchronous pi-calculus [My Copy] ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 566-591. by Matthew Hennessy, James Riely posted to concurrency picalculus by keigoi on 2006-11-09 16:05:20 as along with 2 people and 1 group janschaefer jfischer TU-KL-SoftwareTechnologyGroup
	The security pi-calculus and non-interference [My Copy] Journal of Logic and Algebraic Programming In Special issue on The pi-calculus, Vol. 63, No. 1. (April 2005), pp. 3-34. by Matthew Hennessy posted to concurrency picalculus by keigoi on 2006-11-09 16:02:21 as
	Testing equivalences for processes [My Copy] Theoretical Computer Science, Vol. 34, No. 1-2. (1984), pp. 83-133. by R. De Nicola, M. C. B. Hennessy posted to concurrency by keigoi on 2006-11-06 00:23:57 as along with 2 people and 1 group mishra_satish janschaefer TU-KL-SoftwareTechnologyGroup
	Algebraic laws for nondeterminism and concurrency [My Copy] J. ACM, Vol. 32, No. 1. (January 1985), pp. 137-161. by Matthew Hennessy, Robin Milner posted to concurrency modallogic by keigoi on 2006-11-02 01:39:01 as along with 1 person shimomura
	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/author/Hennessy:M

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

keigoi's Hennessy:M [13 articles] Export

keigoi's tags