publication venue for
- A New Technique for Strictness Analysis. 1991
- A Theory of Program Modifications. 1991
- Actor-Oriented System Specification with Dynamic Logic. 1991
- An Extended Expansion Theorem. 1991
- CCS for OO and LP. 1991
- Combining Interaction and Automation in Process Algebra Verification. 1991
- Concurrent Abstract Machines (Abstract). 1991
- Construction and Reuse of Formal Program Developments. 1991
- Efficient Code Motion and an Adaption to Strength Reduction. 1991
- Exploiting Non-Determinism through Laziness in Guarded Functional Languages. 1991
- Formal Specification of Object Systems. 1991
- From Reduction Machines To Narrowing Machines. 1991
- Interactive Internetworking for Interoperating Systems (Abstract). 1991
- Knowledge and Probability in Distributed Systems (Abstract). 1991
- Non-standard Interpretations of LOTOS Specifications. 1991
- On Addition Schemes. 1991
- On Narrowing Strategies for Partial Non-Strict Functions. 1991
- On the Relationship Between Algebraic Module Specifications and Program Modules. 1991
- Parametric Order-Sorted Types in Logic Programming. 1991
- Proving Termination of Logic Programs by Exploiting Term Properties. 1991
- Refining Interfaces of Communicating Systems. 1991
- Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. 1991
- Testing Against Formal Specifications: A Theoretical View. 1991
- The Evaluation Transformer Model of Reduction and Its Correctness. 1991
- Towards a Formally Based Component Description Language. 1991
- Using Higher Order Logic for Modelling Real-Time Protocols. 1991
- Verification for Finite Systems (Extended Abstract). 1991