Topic D.1.3 - Concurrent Programming

	J.-R. Abrial, D. Cansell: Formal Construction of a Non-blocking Concurrent Queue Algorithm /jucs_11_5/formal_construction_of_a	page 744 - 770 Vol.11 / Issue 5
	R. Banach: MONSTR I - Fundamental Issues and the Design of MONSTR /jucs_2_4/monstr_i_fundamental_issues	page 164 - 216 Vol.2 / Issue 4
	R. Banach, F. Arbab, G. A. Papadopoulos, J. R. W. Glauert: A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model /jucs_9_1/a_multiply_hierarchical_automaton	page 2 - 33 Vol.9 / Issue 1
	R. Banach, J. Balázs, G. A. Papadopoulos: A Translation of the Pi-Calculus Into MONSTR /jucs_1_6/a_translation_of_the	page 339 - 398 Vol.1 / Issue 6
	R. Banach: MONSTR II - Suspending Semantics and Independence /jucs_3_7/monstr_ii_suspending_semantics	page 756 - 802 Vol.3 / Issue 7
	E. Börger, L. Mearelli: Integrating ASMs into the Software Development Life Cycle /jucs_3_5/integrating_asm	page 603 - 665 Vol.3 / Issue 5
	Á. Reis Figueira, H. Paulino, L. Lopes, F. Silva: Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources /jucs_9_8/distributed_typed_concurrent_objects	page 745 - 760 Vol.9 / Issue 8
	A. de Araújo Formiga, R. Dueire Lins: A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems /jucs_13_6/a_new_architecture_for	page 817 - 829 Vol.13 / Issue 6
	A. French, J.N. Amaral: Eliminating Redundant Join-Set Computations in Static Single Assignment /jucs_12_8/eliminating_redundant_join_set	page 1007 - 1019 Vol.12 / Issue 8
	H. Georgescu, C. Vertan: A New Approach to Communicating X-Machines Systems /jucs_6_5/a_new_approach_to	page 490 - 502 Vol.6 / Issue 5
	J. Kienzle: On Atomicity and Software Development /jucs_11_5/on_atomicity_and_software	page 687 - 702 Vol.11 / Issue 5
	M. Amarim Leal, N. Rodriguez, R. Ierusalimschy: LuaTS - A Reactive Event-Driven Tuple Space /jucs_9_8/luats_a_reactive_event	page 730 - 744 Vol.9 / Issue 8
	L. Mearelli: Refining an ASM Specification of the Production Cell to C++ Code /jucs_3_5/production_cell	page 666 - 688 Vol.3 / Issue 5
	C. Cerschi Seceleanu, T. Seceleanu: Synchronization Can Improve Reactive Systems Control and Modularity /jucs_10_10/synchronization_can_improve_reactive	page 1429 - 1468 Vol.10 / Issue 10
	D. B. Skillicorn: Structured Parallel Computation in Structured Documents /jucs_3_1/structured_parallel	page 42 - 68 Vol.3 / Issue 1
	W. Figueiredo Taveira, M. Tulio de Oliveira Valente, M.A. da Silva Bigonha, R. da Silva Bigonha: Asynchronous Remote Method Invocation in Java /jucs_9_8/asynchronous_remote_method_invocation	page 761 - 775 Vol.9 / Issue 8
	F. Heron de Carvalho Junior, R. Dueire Lins: Haskell#: Parallel Programming Made Simple and Efficient /jucs_9_8/haskell_parallel_programming_made	page 776 - 794 Vol.9 / Issue 8