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

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

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

P. Barbosa, F. Ramalho, J. Figueiredo, A. Júnior, A. Costa, L. Gomes:
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
/jucs_15_11/checking_semantics_equivalence_of

page 2196 - 2224
Vol.15 / Issue 11

U. Berger:
Realisability for Induction and Coinduction with Applications to Constructive Analysis
/jucs_16_18/realisability_for_induction_and

page 2535 - 2555
Vol.16 / Issue 18

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

E. Börger, K.-D. Schewe:
Communication in Abstract State Machines
/jucs_23_2/communication_in_abstract_state

page 129 - 145
Vol.23 / Issue 2

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

E. Flores, A. Barrón-Cedeño, L. Moreno, P. Rosso:
Cross-Language Source Code Re-Use Detection Using Latent Semantic Analysis
/jucs_21_13/cross_language_source_code

page 1708 - 1725
Vol.21 / Issue 13

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

M. Konečný, A. Farjudian:
Semantics of Query-Driven Communication of Exact Values
/jucs_16_18/semantics_of_query_driven

page 2597 - 2628
Vol.16 / Issue 18

M. Konečný, A. Farjudian:
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
/jucs_16_18/compositional_semantics_of_dataflow

page 2629 - 2656
Vol.16 / Issue 18

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. Lundberg, W. Lowe:
Points-to Analysis: A Fine-Grained Evaluation
/jucs_18_20/points_to_analysis_a

page 2851 - 2878
Vol.18 / Issue 20

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

H.-S. Min, S.-M. Chung, J.-Y. Choi:
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project
/jucs_19_1/deriving_system_behavior_from

page 53 - 77
Vol.19 / Issue 1

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

F. Barden Rubbo, R. Machado, Á. Freitas Moreira, L. Ribeiro, D.J. Nunes:
On the Interaction of Advices and Raw Types in AspectJ
/jucs_14_21/on_the_interaction_of

page 3534 - 3555
Vol.14 / Issue 21

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

F. Tirelo, R.S. Bigonha, J. Saraiva:
Disentangling Denotational Semantics Definitions
/jucs_14_21/disentangling_denotational_semantics_definitions

page 3592 - 3607
Vol.14 / Issue 21

T. Uustalu, T. Vene:
Signals and Comonads
/jucs_11_7/signals_and_comonads

page 1311 - 1326
Vol.11 / Issue 7

P. Wadler:
Abstract Data Types without the Types.
Dedicated to David Turner on the occasion of his 70'th birthday
/jucs_23_1/abstract_data_types_without

page 5 - 20
Vol.23 / Issue 1

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

A. de la Encina, L. Llana, F. Rubio:
A Debugging System Based on Natural Semantics
/jucs_15_14/a_debugging_system_based

page 2836 - 2880
Vol.15 / Issue 14