D. B. Aredo:
A Framework for Semantics of UML Sequence Diagrams in PVS
/jucs_8_7/a_framework_for_semantics

page 674 - 697
Vol.8 / Issue 7

C. Ba, M.A. Carrero, M. Halfeld Ferrari, M.A. Musicante:
PEWS: A New Language for Building Web Service Interfaces
/jucs_11_7/pews_a_new_language

page 1215 - 1233
Vol.11 / 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

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

D. Bjørner:
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book
/jucs_7_8/on_teaching_software_engineering

page 641 - 667
Vol.7 / Issue 8

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

C. Camarão, C. Vasconcellos, L. Figueiredo, J. Nicola:
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence
/jucs_13_6/open_and_closed_worlds

page 874 - 890
Vol.13 / Issue 6

C. Carvilhe, M. A. Musicante:
Object-Oriented Action Semantics Specifications
/jucs_9_8/object_oriented_action_semantics

page 910 - 934
Vol.9 / Issue 8

D. Drusinsky, M.-T. Shing:
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
/jucs_9_11/monitoring_temporal_logic_specification

page 1261 - 1276
Vol.9 / Issue 11

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

C. Heitmeyer, R. Bharadwaj:
Applying the SCR Requirements Method to the Light Control Case Study
/jucs_6_7/applying_the_scr_requirements

page 650 - 678
Vol.6 / Issue 7

C. B. Jones:
The Transition from VDL to VDM
/jucs_7_8/the_transition_from_VDL

page 631 - 640
Vol.7 / Issue 8

P. W. Kutter, A. Pierantonio:
Montages Specifications of Realistic Programming Languages
/jucs_3_5/montages_specifications

page 416 - 442
Vol.3 / Issue 5

P. W. Kutter, A. Pierantonio:
The Formal Specification of Oberon
/jucs_3_5/specification_oberon

page 443 - 503
Vol.3 / Issue 5

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

P.R. Ribeiro, M.A. Barbosa, L.S. Barbosa:
Generic Process Algebra: A Programming Challenge
/jucs_12_7/generic_process_algebra_a

page 922 - 937
Vol.12 / Issue 7

M. Schordan:
The Language of the Visitor Design Pattern
/jucs_12_7/the_language_of_the

page 849 - 867
Vol.12 / Issue 7

K. Takahashi:
Reasoning about Propagation of Properties over Regions
/jucs_9_9/reasoning_about_propagation_of

page 1030 - 1045
Vol.9 / Issue 9

I. Traoré:
An Outline of PVS Semantics for UML Statecharts
/jucs_6_11/an_outline_of_pvs

page 1088 - 1108
Vol.6 / Issue 11

H. Treseler, O. Stursberg, P. W. H. Chung, S. Yang:
An Open Software Architecture for the Verification of Industrial Controllers
/jucs_7_1/an_open_software_architecture

page 37 - 53
Vol.7 / Issue 1

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

page 1311 - 1326
Vol.11 / Issue 7

M. d'Amorim, G. Rosu:
An Equational Specification for the Scheme Language
/jucs_11_7/an_equational_specification_for

page 1327 - 1348
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