default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods and Component Interaction @ ICALP 2002: Málaga, Spain

> Home > Conferences and Workshops > ICALP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/icalp/2002fmci
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/2002fmci
Antonio Brogi, Ernesto Pimentel:
Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002. Electronic Notes in Theoretical Computer Science 66(4), Elsevier 2002
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BanachAPG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BanachAPG02
Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert:
IWIM Semantics via Fibred Automata. 1-15
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RedondoAVM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RedondoAVM02
Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez:
ARIFS: an Environment for Incomplete and Formal Specifications. 16-35
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZaveJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZaveJ02
Pamela Zave, Michael Jackson:
A Call Abstraction for Component Coordination. 36-55
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ScholtenABB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ScholtenABB02
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
Mobile Channels, Implementation Within and Outside Components. 56-66
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Pahl02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Pahl02
Claus Pahl:
A Formal Composition and Interaction Model for a Web Component Platform. 67-81
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BrogiPR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BrogiPR02
Antonio Brogi, Ernesto Pimentel, Ana M. Roldán:
Compatibility of Linda-based Component Interfaces. 82-96
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BraccialiBC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BraccialiBC02
Andrea Bracciali, Antonio Brogi, Carlos Canal:
Systematic Component Adaptation. 97-113
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SalaunAA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SalaunAA02
Gwen Salaün, Michel Allemand, J. Christian Attiogbé:
Foundations for a Combination of Heterogeneous Specification Components. 114-133
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BrogiP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BrogiP02
Antonio Brogi, Ernesto Pimentel:
Preface. 134

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.