Abstract is missing.
- CCS for OO and LPJ. W. de Bakker, Erik P. de Vink. 1-28
- An Extended Expansion TheoremGian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari. 29-48
- Concurrent Abstract Machines (Abstract)Gérard Berry. 49
- Knowledge and Probability in Distributed Systems (Abstract)Joseph Y. Halpern. 50-54
- Verification for Finite Systems (Extended Abstract)Ahmed Bouajjani, Joseph Sifakis. 55-57
- Interactive Internetworking for Interoperating Systems (Abstract)H. Weber. 58-59
- Formal Specification of Object SystemsRalf Jungclaus, Gunter Saake. 60-82
- On the Relationship Between Algebraic Module Specifications and Program ModulesMichael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs. 83-98
- Testing Against Formal Specifications: A Theoretical ViewGilles Bernot. 99-119
- Construction and Reuse of Formal Program DevelopmentsJacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel. 120-136
- A Theory of Program ModificationsGanesan Ramalingam, Thomas W. Reps. 137-152
- Proving Termination of Logic Programs by Exploiting Term PropertiesAnnalisa Bossi, Nicoletta Cocco, Massimo Fabris. 153-180
- Parametric Order-Sorted Types in Logic ProgrammingMichael Hanus. 181-200
- Exploiting Non-Determinism through Laziness in Guarded Functional LanguagesRoland Dietrich, Hendrik C. R. Lock. 201-216
- Non-standard Interpretations of LOTOS SpecificationsTommaso Bolognesi, Diego Latella, Elisabetta Zuppa. 217-234
- A New Technique for Strictness AnalysisDavid A. Wright. 235-258
- Using Higher Order Logic for Modelling Real-Time ProtocolsRachel Cardell-Oliver. 259-282
- Combining Interaction and Automation in Process Algebra VerificationAlbert John Camilleri, Paola Inverardi, Monica Nesi. 283-296
- Refining Interfaces of Communicating SystemsEd Brinksma, Bengt Jonsson, Fredrik Orava. 297-312
- Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRALBernd Krieg-Brückner, Donald Sannella. 313-336
- Actor-Oriented System Specification with Dynamic LogicJohn-Jules Ch. Meyer, Roel Wieringa. 337-357
- Towards a Formally Based Component Description LanguageJoachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode. 358-378
- On Addition SchemesSrecko Brlek, Pierre Castéran, Robert Strandh. 379-393
- Efficient Code Motion and an Adaption to Strength ReductionBernhard Steffen, Jens Knoop, Oliver Rüthing. 394-415
- On Narrowing Strategies for Partial Non-Strict FunctionsDavid de Frutos-Escrig, María-Inés Fernández-Camacho. 416-437
- From Reduction Machines To Narrowing MachinesRita Loogen. 438-457
- The Evaluation Transformer Model of Reduction and Its CorrectnessGeoffrey L. Burn. 458-482