default search action

combined dblp search
author search
venue search
publication search

ask others

7th FOCLASA@ICALP 2008: Reykjavik, Iceland

> Home > Conferences and Workshops > FOCLASA
> 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/foclasa/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foclasa/2008
Carlos Canal, Pascal Poizat, Marjan Sirjani:
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008. Electronic Notes in Theoretical Computer Science 229(2), Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CanalPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CanalPS09
Carlos Canal, Pascal Poizat, Marjan Sirjani:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AndovaGV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AndovaGV09
Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic Consistency in Process Algebra: From Paradigm to ACP. 3-20
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArbabSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArbabSB09
Farhad Arbab, Sun Meng, Christel Baier:
Synthesis of Reo Circuits from Scenario-based Specifications. 21-41
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ClarkePLA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ClarkePLA09
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab:
Deconstructing Reo. 43-58
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WongG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WongG09
Peter Y. H. Wong, Jeremy Gibbons:
A Relative Timed Semantics for BPMN. 59-75
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GodskesenHK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GodskesenHK09
Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich:
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. 77-93
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MarthR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MarthR09
Kevin Marth, Shangping Ren:
The ARC Programming Model - Language Constructs for Coordination. 95-113
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MartinP09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MartinP09a
José Antonio Martín, Ernesto Pimentel:
Automatic Generation of Adaptation Contracts. 115-131
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/YuRT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/YuRT09
Yue Yu, Shangping Ren, Carolyn L. Talcott:
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. 133-153
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TasharofiS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TasharofiS09
Samira Tasharofi, Marjan Sirjani:
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. 155-174

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.