Topic F.3.2 - Semantics of Programming Languages

	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: MONSTR II - Suspending Semantics and Independence /jucs_3_7/monstr_ii_suspending_semantics	page 756 - 802 Vol.3 / Issue 7
	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
	L. Soares Barbosa: Towards a Calculus of State-based Software Components /jucs_9_8/towards_a_calculus_of	page 891 - 909 Vol.9 / Issue 8
	M.A. Barbosa, L. Soares Barbosa: A Relational Model for Component Interconnection /jucs_10_7/a_relational_model_for	page 808 - 823 Vol.10 / Issue 7
	M. Butler, C. Ferreira, M.Y. Ng: Precise Modelling of Compensating Business Transactions and its Application to BPEL /jucs_11_5/precise_modelling_of_compensating	page 712 - 743 Vol.11 / Issue 5
	E. Börger: The Origins and the Development of the ASM Method for High Level System Design and Analysis /jucs_8_1/the_origins_and_the	page 2 - 74 Vol.8 / Issue 1
	C. Carvilhe, M. A. Musicante: Object-Oriented Action Semantics Specifications /jucs_9_8/object_oriented_action_semantics	page 910 - 934 Vol.9 / Issue 8
	F. Chalub, C. Braga: A Modular Rewriting Semantics for CML /jucs_10_7/a_modular_rewriting_semantics	page 789 - 807 Vol.10 / Issue 7
	R. Diaconescu, K. Futatsugi: Behavioural Coherence in Object-Oriented Algebraic Specification /jucs_6_1/behavioural_coherence_in_object	page 74 - 96 Vol.6 / Issue 1
	R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, A. Prinz: Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models /jucs_7_11/formal_definition_of_sdl	page 1024 - 1049 Vol.7 / Issue 11
	U. Glaesser, R. Karges: Abstract State Machine Semantics of SDL /jucs_3_12/abstract_state_machine_semantics	page 1382 - 1414 Vol.3 / Issue 12
	R. Grosu, D. Lucanu, G. Stefanescu: Mixed Relations as Enriched Semiringal Categories /jucs_6_1/mixed_relations_as_enriched	page 112 - 129 Vol.6 / Issue 1
	Y. Gurevich, N. Tillmann: Partial Updates: Exploration /jucs_7_11/partial_updates_exploration	page 917 - 951 Vol.7 / Issue 11
	C. B. Jones: The Transition from VDL to VDM /jucs_7_8/the_transition_from_VDL	page 631 - 640 Vol.7 / Issue 8
	C. Kong, P. Alexander, C. Menon: Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language /jucs_9_11/defining_a_formal_coalgebraic	page 1322 - 1349 Vol.9 / Issue 11
	P. W. Kutter, A. Pierantonio: The Formal Specification of Oberon /jucs_3_5/specification_oberon	page 443 - 503 Vol.3 / Issue 5
	P. W. Kutter, A. Pierantonio: Montages Specifications of Realistic Programming Languages /jucs_3_5/montages_specifications	page 416 - 442 Vol.3 / Issue 5
	M. Amorim Leal, R. Ierusalimschy: A Formal Semantics for Finalizers /jucs_11_7/a_formal_semantics_for	page 1198 - 1214 Vol.11 / Issue 7
	J. Pereira Machado, P. Blauth Menezes: Defining Atomic Composition in UML Behavioral Diagrams /jucs_12_7/defining_atomic_composition_in	page 958 - 979 Vol.12 / Issue 7
	R. Machado, Á. Freitas Moreira, R. de Matos Galante, M. Moura Moro: Type-safe Versioned Object Query Language /jucs_12_7/type_safe_versioned_object	page 938 - 957 Vol.12 / Issue 7
	A. Murbach Maidl, C. Carvilhe, M.A. Musicante: Using Visitor Patterns in Object-Oriented Action Semantics /jucs_13_6/using_visitor_patterns_in	page 891 - 919 Vol.13 / Issue 6
	M.A. Martins: Behavioral Institutions and Refinements in Generalized Hidden Logics /jucs_12_8/behavioral_institutions_and_refinements	page 1020 - 1049 Vol.12 / Issue 8
	P.D. Mosses: A Constructive Approach to Language Definition /jucs_11_7/a_contructive_approach_to	page 1117 - 1134 Vol.11 / Issue 7
	J. F. Power, D. Sinclair: A Formal Model of Forth Control Words in the Pi-Calculus /jucs_10_9/a_formal_model_of	page 1272 - 1293 Vol.10 / Issue 9
	W. Reif, G. Schellhorn, T. Vollmer, J. Ruf: Correctness of Efficient Real-Time Model Checking /jucs_7_2/correctness_of_efficient_real	page 194 - 209 Vol.7 / Issue 2
	G. Schellhorn: Verification of ASM Refinements Using Generalized Forward Simulation /jucs_7_11/verification_of_asm_refinements	page 952 - 979 Vol.7 / Issue 11
	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
	M. Sirjani, F.S. de Boer, A. Movaghar: Modular Verification of a Component-Based Actor Language /jucs_11_10/modular_verificatin_of_a	page 1695 - 1717 Vol.11 / Issue 10
	J. Sánchez-Hernández: Constructive Failure in Functional-Logic Programming: From Theory to Implementation /jucs_12_11/constructive_failure_in_functional	page 1574 - 1593 Vol.12 / Issue 11
	T. Uustalu, T. Vene: Signals and Comonads /jucs_11_7/signals_and_comonads	page 1311 - 1326 Vol.11 / Issue 7
	D. de Frutos Escrig, C.G. Rodríguez: Process Equivalences as Global Bisimulations /jucs_12_11/process_equivalences_as_global	page 1521 - 1550 Vol.12 / Issue 11