Index of /garland/publications/Reprints

	Name	Last modified	Size	Description
	Parent Directory		-
	2002-Reliable_Distributed_Systems.pdf	2012-12-19 06:37	63K
	2002-Mechanical_Translation.pdf	2012-12-19 06:36	70K
	1962-CACM_Algorithm_99.pdf	2016-05-15 15:46	82K
	1984-Advanced_Placement_CS.pdf	2014-06-09 11:27	89K
	1975-Review_Kunen.pdf	2012-12-19 06:15	90K
	1971-Review_Suzuki_Classification.pdf	2012-12-19 06:14	106K
	1971-Review_Suzuki_Uniformization.pdf	2012-12-19 06:14	111K
	2004-Simulated_Execution.pdf	2012-12-19 06:48	112K
	2005-TIOA_Tutorial.pdf	2012-12-19 06:49	116K
	2011-Patent_Application.pdf	2012-12-19 06:49	126K
	2005-TIOA_Language.pdf	2012-12-19 06:48	126K
	1979-CIS.pdf	2017-03-05 11:17	131K
	1990-SRC_60.pdf	2012-12-19 06:19	193K
	1993-Simulation_Proofs.pdf	2012-12-19 06:26	207K
	1996-Concurrent_Timestamps.pdf	2012-12-19 06:29	251K
	2002-Simulating_Nondeterministic_Systems.pdf	2012-12-19 06:37	259K
	1994-Verifying_Timing_Properties.pdf	2012-12-19 06:29	275K
	1974-Review_Tanaka.pdf	2012-12-19 06:14	276K
	1969-Review_Spector.pdf	2012-12-19 06:14	279K
	1998-IOA_Language_and_Toolset.pdf	2012-12-19 06:31	332K
	1974-Second_Order_Cardinal_Characterizability.pdf	2012-12-19 06:14	334K
	2000-Using_IO_Automata.pdf	2012-12-19 06:31	384K
	1972-Generalized_Interpolation_Theorems.pdf	2012-12-19 06:14	443K
	1998-Active_Reliable_Multicast.pdf	2012-12-19 06:31	450K
	2002-IOA_Simulator.pdf	2012-12-19 06:36	459K
	1991-SRC_82.pdf	2012-12-19 06:19	464K
	1993-Larch.pdf	2012-12-19 06:25	573K
	1989-SPD_Progress_Report.pdf	2012-12-19 06:19	628K
	1988-Inductive_Reasoning.pdf	2012-12-19 06:15	633K
	2011-Tempo.pdf	2012-12-19 06:49	684K
	1988-Verification_of_VLSI.pdf	2014-06-09 11:52	919K
	2013-Patent.pdf	2018-04-17 14:30	946K
	1962-Algol_30_Comparison.pdf	2014-06-09 11:50	1.1M
	1962-Algol_30_Procedure_Manual.pdf	2014-06-09 11:50	1.3M
	2001-Patent.pdf	2012-12-19 06:31	1.5M
	1991-SRC_78.pdf	2012-12-19 06:19	1.5M
	1964-SCALP_Manual.pdf	2014-06-09 11:48	2.6M
	2004-Composite_Automata.pdf	2012-12-19 06:48	2.8M
	1962-SCALP_Manual.pdf	2014-06-09 11:24	3.3M
	1959-Game_Matrices.pdf	2014-06-09 11:19	3.6M
	1959-LGP-30_Manual.pdf	2014-06-09 11:49	3.8M
	1996-Ordering_for_AC_Rewrite_Systems.pdf	2012-12-19 06:31	5.4M
	1989-Localized_Verification.pdf	2012-12-19 06:18	8.9M
	1963-SCALP_Block_Diagrams.pdf	2014-06-09 11:23	9.2M
	1993-Overview_of_Larch.pdf	2012-12-19 06:26	9.4M
	1963-SCALP_Coding_Sheets.pdf	2014-06-09 11:27	11M
	1992-Parallel_Completion_Procedure.pdf	2012-12-19 06:24	12M
	1992-Mechanized_Verification.pdf	2012-12-19 06:22	14M
	1993-Transformation_in_Circuit_Design.pdf	2012-12-19 06:29	14M
	1978-ECMA-55.pdf	2017-03-05 11:03	15M
	2002-Connecting_Specifications.pdf	2012-12-19 06:36	24M
	1964-Julia_Robinson_Notes.pdf	2014-06-09 11:36	25M
	2003-IOA_User_Guide.pdf	2012-12-19 06:48	52M