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
	L. Groves: Reasoning about Nonblocking Concurrency /jucs_15_1/reasoning_about_nonblocking_concurrency	page 72 - 111 Vol.15 / Issue 1
	C. Herzeel, P. Costanza, T. D'Hondt: An Extensible Interpreter Framework for Software Transactional Memory /jucs_16_2/an_extensible_interpreter_framework	page 221 - 245 Vol.16 / Issue 2
	J. Keller, C.W. Kessler, R. Hultén: Optimized On-Chip-Pipelining for Memory-Intensive Computations on Multi-Core Processors with Explicit Memory Hierarchy /jucs_18_14/optimized_on_chip_pipelining	page 1987 - 2023 Vol.18 / Issue 14
	J. Kienzle: On Atomicity and Software Development /jucs_11_5/on_atomicity_and_software	page 687 - 702 Vol.11 / Issue 5
	M. Amorim 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
	N. Losada, M.J. Martín, G. Rodríguez, P. González: Extending an Application-Level Checkpointing Tool to Provide Fault Tolerance Support to OpenMP Applications /jucs_20_9/extending_an_application_level	page 1351 - 1372 Vol.20 / Issue 9
	G. de Oliveira Mattos, A. de Araújo, R. Dueire Lins, F.H. de Carvalho Júnior, F.M. Junqueira Martins: Comparative Aspects between the Cluster and Grid Implementations of BigBatch /jucs_14_18/comparative_aspects_between_the	page 3031 - 3050 Vol.14 / Issue 18
	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
	G. Rodríguez, M.J. Martín, P. González, J. Touriño: A Heuristic Approach for the Automatic Insertion of Checkpoints in Message-Passing Codes /jucs_15_14/a_heuristic_approach_for	page 2894 - 2911 Vol.15 / Issue 14
	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
	A. Skyrme, N. Rodriguez, R. Ierusalimschy: Exploring Lua for Concurrent Programming /jucs_14_21/exploring_lua_for_concurrent	page 3556 - 3572 Vol.14 / Issue 21
	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.H. de Carvalho Júnior, R. Dueire Lins: Haskell#: Parallel Programming Made Simple and Efficient /jucs_9_8/haskell_parallel_programming_made	page 776 - 794 Vol.9 / Issue 8