keigoi's modallogic [4 articles] Export

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

	Modal logics for mobile processes [My Copy] Theoretical Computer Science, Vol. 114, No. 1. (14 June 1993), pp. 149-171. by Robin Milner, Joachim Parrow, David Walker posted to modallogic picalculus by keigoi on 2008-02-27 07:53:48 as along with 1 person bfraser
	Proof Systems for pi-Calculus Logics [My Copy] In Logic for Concurrency and Synchronisation (2001) by Mads Dam edited by R. de Queiroz posted to modallogic picalculus by keigoi on 2007-10-06 16:14:59 as
	Model checking mobile processes [My Copy] Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51. by Mads Dam posted to modallogic modelchecking picalculus by keigoi on 2007-09-28 07:55:18 as along with 1 person shimomura
	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

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

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	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 modallogic [4 articles] Export

keigoi's tags