keigoi's Montanari:U [10 articles] Export

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

	Event Structure Semantics for Nominal Calculi [My Copy] CONCUR 2006 – Concurrency Theory (2006), pp. 295-309. by Roberto Bruni, Hernán Melgratti, Ugo Montanari posted to causality concurrency eventstructure by keigoi on 2008-11-20 16:00:22 as
	History-Dependent Automata: An Introduction [My Copy] Formal Methods for Mobile Computing (2005), pp. 1-28. by Ugo Montanari, Marco Pistore posted to hdautomata picalculus by keigoi on 2008-11-20 09:10:26 as
	An Introduction to History Dependent Automata [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 10 (1998), pp. 170-188. by U. Montanari, M. Pistore posted to hdautomata picalculus by keigoi on 2008-11-20 05:24:44 as
	Finite State Verification for the Asynchronous pi-Calculus [My Copy] In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 255-269. by Ugo Montanari, Marco Pistore posted to picalculus by keigoi on 2007-10-15 06:54:35 as along with 1 person msakai
	A model-checking verification environment for mobile processes [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 440-473. by Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore posted to modelchecking picalculus by keigoi on 2007-10-06 15:43:10 as along with 1 person streetlightios
	A Tile-Based Coordination View of Asynchronous pi-Calculus [My Copy] In MFCS '97: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (1997), pp. 52-70. by Gian L. Ferrari, Ugo Montanari posted to context picalculus tile by keigoi on 2007-05-03 02:05:55 as
	Comparing logics for rewriting: rewriting logic, action calculi and tile logic [My Copy] Theoretical Computer Science, Vol. 285, No. 2. (28 August 2002), pp. 319-358. by Fabio Gadducci, Ugo Montanari posted to rewritinglogic tile by keigoi on 2007-05-02 17:54:26 as
	The tile model [My Copy] (2000), pp. 133-166. by Fabio Gadducci, Ugo Montanari posted to concurrency context tile trs by keigoi on 2007-05-02 16:51:01 as
	Causal computing [My Copy] ACM Comput. Surv., Vol. 28, No. 4es. (1996) by Ugo Montanari posted to causality survey by keigoi on 2007-05-02 16:21:32 as
	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

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

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 Montanari:U [10 articles] Export

keigoi's tags