Journal: Electronic Notes in Theoretical Computer Science

Volume 66, Issue 4

1 -- 15Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert. IWIM Semantics via Fibred Automata
16 -- 35Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez. ARIFS: an Environment for Incomplete and Formal Specifications
36 -- 55Pamela Zave, Michael Jackson. A Call Abstraction for Component Coordination
56 -- 66. Mobile Channels, Implementation Within and Outside Components
67 -- 81Claus Pahl. A Formal Composition and Interaction Model for a Web Component Platform
82 -- 96Antonio Brogi, Ernesto Pimentel, Ana M. Roldán. Compatibility of Linda-based Component Interfaces
97 -- 113Andrea Bracciali, Antonio Brogi, Carlos Canal. Systematic Component Adaptation
114 -- 133Gwen Salaün, Michel Allemand, Christian Attiogbé. Foundations for a Combination of Heterogeneous Specification Components
134 -- 0Antonio Brogi, Ernesto Pimentel. Preface