ajholanda's Lamport:L [8 articles] Export Sort

Recent papers posted to ajholanda's library by the author Lamport:L. You can also see everyone's Lamport:L.

Hide details

	Composing specifications [My Copy] ACM Trans. Program. Lang. Syst., Vol. 15, No. 1. (1993), pp. 73-132. by Mart'in Abadi, Leslie Lamport posted to specification proof_rule liveness_properties lamport isolation by ajholanda on 2009-11-10 20:06:06 as along with 2 people pedagand michaelbanks
	A Temporal Logic of Actions [My Copy] SRC Research Report, Vol. 47 (April 1990) by Leslie Lamport posted to tla lamport by ajholanda on 2009-11-10 18:25:18 as
	Composition: A Way to Make Proofs Harder [My Copy] In COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant Difference (1998), pp. 402-423. by Leslie Lamport posted to proof composition by ajholanda on 2009-11-10 18:18:02 as
	Proving possibility properties [My Copy] Theoretical Computer Science, Vol. 206, No. 1-2. (06 October 1998), pp. 341-352. by L. Lamport posted to proof possibility-properties lamport by ajholanda on 2009-11-10 18:09:39 as
	What Good Is Temporal Logic? [My Copy] Information Processing, Vol. 83 (1983), pp. 657-668. by Leslie Lamport edited by R. E. A. Mason posted to temporal-logic by ajholanda on 2009-11-10 17:50:47 as
	Should your specification language be typed [My Copy] ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (1999), pp. 502-526. by Leslie Lamport, Lawrence C. Paulson posted to tlaplus specification_languages programming_languages mechanical_type lamport by ajholanda on 2009-11-10 17:42:28 as
	Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [My Copy] (19 July 2002) by Leslie Lamport posted to tlaplus specification lamport by ajholanda on 2009-11-05 14:10:01 as
	The temporal logic of actions [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (1994), pp. 872-923. by Leslie Lamport posted to tlaplus tla logic lamport by ajholanda on 2009-10-29 14:28:18 as along with 2 people pirapira michaelbanks

Note: You may cite this page as: http://www.citeulike.org/user/ajholanda/author/Lamport:L

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.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

knuth	19
compiler	17
hashing	13
taocp3	13
cii	11
lamport	10
c_language	10
tlaplus	9
logic	8
mypublications	5
william-james	5
aholanda	5
set_theory	4
specification	4
bioinformatics	3
floyd	3
naur	3
axiom	3
c_programs	3
lalr	3
temporal-logic	3
continuum	2
temporal_logic	2
aho	2
complexnetworks	2
pragmatism	2
operator	2
programming_languages	2
c_secrets	2
parser	2
godel	2
precedence	2
data_structures	2
tla	2
proof	2
deremer	2
algol	2
ambiguous-grammar	1
prototype	1
bayesian	1
heap	1
emotion	1
program_verification	1
aholandamypublications	1
traffic-analysis	1
dynamic_storage	1
culinary	1
h_index	1
np-complete	1
thesaurus	1
string	1
fortran	1
coding_and_information_theory	1
consciousness	1
axiomatic_set_theory	1
transaction_protocol	1
evandro	1
backus	1
hoare	1
lsm	1
computational-biology	1
mathematical_development	1
storage_allocator	1
c_interfaces	1
arrays	1
context-free	1
dynamic_memory_errors	1
genome	1
sheridan	1
abstraction	1
mind	1
memory_allocation	1
safety	1
liveness_properties	1
microsoft	1
expert_c_programming	1
latex	1
von_neumann-bernays-godel-set_theory	1
kasami	1
dynamic_storage_allocation	1
stacks	1
bernays	1
isolation	1
master-thesis	1
temporal_reasoning	1
mithocondrialdna	1
diagrams	1
normal	1
memory_management_problems	1
statistical_mechanics	1
refinement	1
modularity	1
algorithm	1
formalism	1
mechanical_type	1
liveness	1
axiomatic_approach	1
global_variables	1
composition	1
memory_allocators	1
possibility-properties	1
algol60	1
analysis	1
wirth	1
text-mining	1
merz	1
computer_programming	1
mathematical_proof	1
trabb	1
syntatic	1
linux	1
park	1
math	1
pratt	1
kristensen	1
while	1
parallel_programs	1
proof_rule	1
pointers	1
lr	1
european	1
model_checker	1
verification	1
hilbert	1
queues	1
morris	1
form	1
security	1
axiom_of_chioce	1
colagen	1
cantor	1
specification_languages	1
storage_allocation	1
code_microsoft	1
grammar	1
bugs	1
interview	1
concurrent_programs	1
system	1

ajholanda's Lamport:L [8 articles] Export Sort

ajholanda's tags