Arkiver - Side 11
-
PB-350 An Overview of the Mjølner BETA System
Nr. 350 (1991) -
PB-351 Real-Time Action
Nr. 351 (1991) -
PB-352 A Model for Real-Time Systems
Nr. 352 (1991) -
PB-347 A Modal Characterisation of Distributed Bisimulation
Nr. 347 (1991) -
PB-346 Elementary Transition Systems and Refinement
Nr. 346 (1991) -
PB-345 Object-Oriented Type Inference
Nr. 345 (1991) -
PB-343 Some Results on Uniform Arithmetic Circuit Complexity
Nr. 343 (1991) -
PB-341 A Unified Type System for Object-Oriented Programming
Nr. 341 (1990) -
PB-342 What is Type-Safe Code Reuse?
Nr. 342 (1990) -
PB-336 Type Inference with Inequalities
Nr. 336 (1990) -
PB-334 Activity Theory as a Challenge to Systems Design
Nr. 334 (1990) -
PB-335 The Complexity of Malign Ensembles
Nr. 335 (1990) -
PB-333 Supporting Active User Involvement in Prototyping
Nr. 333 (1990) -
PB-330 Convertible Undeniable Signatures
Nr. 330 (1990) -
PB-317 Type substitution for object-oriented programming
Nr. 317 (1990)