keigoi's Sangiorgi:D [7 articles] Export

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

	The name discipline of uniform receptiveness [My Copy] Theor. Comput. Sci., Vol. 221, No. 1-2. (1999), pp. 457-493. by Davide Sangiorgi posted to lineartype picalculus by keigoi on 2009-05-05 07:02:07 as
	From [lambda] to [pi]; or, Rediscovering continuations [My Copy] Mathematical Structures in Computer Science, Vol. 9, No. 04. (1999), pp. 367-401. by Davide Sangiorgi posted to picalculus by keigoi on 2009-04-16 00:41:00 as
	On bisimulations for the asynchronous [pi]-calculus [My Copy] Theoretical Computer Science In Concurrency Theory, Vol. 195, No. 2. (30 March 1998), pp. 291-324. by Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi posted to picalculus by keigoi on 2008-02-19 09:01:32 as along with 1 person fierykylin
	On asynchrony in name-passing calculi [My Copy] Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (October 2004), pp. 715-767. by Massimo Merro, Davide Sangiorgi posted to picalculus by keigoi on 2007-10-22 08:30:12 as
	Ensuring termination by typability [My Copy] Information and Computation, Vol. 204, No. 7. (July 2006), pp. 1045-1082. by Yuxin Deng, Davide Sangiorgi posted to picalculus by keigoi on 2007-10-08 09:30:03 as
	A fully abstract semantics for causality in the π-calculus [My Copy] Acta Informatica, Vol. 35, No. 5. (1 May 1998), pp. 353-400. by Michele Boreale, Davide Sangiorgi posted to causality picalculus by keigoi on 2007-04-10 14:37:16 as
	A Fully Abstract Model for the [pi]-calculus [My Copy] Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 76-117. by M. P. Fiore, E. Moggi, D. Sangiorgi posted to denotationalsemantics picalculus by keigoi on 2006-11-10 08:43:15 as along with 3 people and 2 groups rahul janschaefer mcclurmc SRL TU-KL-SoftwareTechnologyGroup

Note: You may cite this page as: http://www.citeulike.org/user/keigoi/author/Sangiorgi:D

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.

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

keigoi's Sangiorgi:D [7 articles] Export

keigoi's tags