Archives - Page 13
-
PB-298 Logics of Domains
No. 298 (1989) -
PB-297 A Universal Relational Operator
No. 297 (1989) -
PB-295 Static Correctness of Hierarchical Procedures
No. 295 (1989) -
PB-290 Discovering the Human Actors in Human Factors
No. 290 (1989) -
PB-288 Beyond the Interface: Encountering Artifacts in Use
No. 288 (1989) -
PB-289 CSCW - Four Characters in Search of a Context
No. 289 (1989) -
PB-293 Infinite Values in Hierarchical Imperative Types
No. 293 (1989) -
PB-285 Parallel Product of Event Structures
No. 285 (1989) -
PB-291 A Human Activity Approach to User Interfaces
No. 291 (1989) -
PB-281 Behavioural Notions for Elementary Net Systems
No. 281 (1989) -
PB-282 DI-Domains as Information Systems*
No. 282 (1989) -
PB-274 Unified Algebras and Institutions
No. 274 (1989) -
PB-276 Semantic Domains and Denotational Semantics
No. 276 (1989) -
PB-279 A Note on Model Cheking the Modal v-calculus
No. 279 (1989) -
PB-278 An Introduction to Event Structures
No. 278 (1989)