Index of /~rvg/pub/abstracts

	Name	Last modified	Size	Description
	Parent Directory		-
	sos.:_Full_Abstraction_in_Structural_Operational_Semantics_(extended_abstract).html	15-Nov-1995 12:39	1.4K
	tree.:_Ntyft-ntyxt_Rules_Reduce_to_Ntree_Rules.html	15-Nov-1995 12:56	1.5K
	branching.:_What_is_branching_time_and_why_to_use_it?.html	15-Nov-1995 13:02	2.3K
	atch.:_Interleaving_semantics_and_action_refinement_with_atomic_choice.html	15-Nov-1995 13:10	1.4K
	complete.:_A_complete_axiomatization_for_branching_bisimulation_congruence_of_finite-state_behaviours.html	15-Nov-1995 13:11	2.0K
	spectrum.:_The_linear_time_-_branching_time_spectrum_II;_the_semantics_of_sequential_processes_with_silent_moves.html	15-Nov-1995 13:12	2.7K
	axiomst.:_Axiomatising_ST-bisimulation_equivalence.html	15-Nov-1995 13:13	1.9K
	prob.:_Reactive,_generative_and_stratified_models_of_probabilistic_processes.html	15-Nov-1995 13:14	1.9K
	acp.:_On_the_expressiveness_of_ACP_(extended_abstract).html	15-Nov-1995 13:14	2.5K
	negative.:_The_Meaning_of_Negative_Premises_in_Transition_System_Specifications_II.html	15-Nov-1995 13:15	1.2K
	conf.:_Configuration_Structures_(extended_abstract).html	15-Nov-1995 13:15	1.8K
	tool.:_Branching_Bisimulation_as_a_Tool_in_the_Analysis_of_Weak_Bisimulation.html	29-Nov-1995 20:29	1.1K
	prefix.:_Equational_axiomatizations_for_prefix_iteration_with_silent_steps.html	29-Nov-1995 20:29	1.9K
	history.:_History_Preserving_Process_Graphs.html	29-Nov-1995 20:30	1.6K
	flat.:_Axiomatizing_flat_iteration.html	15-Sep-1997 00:21	2.9K