Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FOCLASA@ICALP"( http://dblp.L3S.de/Venues/FOCLASA@ICALP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/foclasa

Publication years (Num. hits)
2008 (10) 2009 (1)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
FOCLASA@ICALP(11)
Authors
Marjan Sirjani(3) Carlos Canal(2) Farhad Arbab(2) Pascal Poizat(2) Shangping Ren(2) Alexander Lazovik(1) Carolyn L. Talcott(1) Christel Baier(1) Dave Clarke 0001(1) Erik P. de Vink(1) Ernesto Pimentel 0001(1) Hans Hüttel(1) Jens Chr. Godskesen(1) Jeremy Gibbons(1) José Antonio Martín(1) José Proença(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Carlos Canal, Pascal Poizat, Marjan Sirjani (eds.) Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008 Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2009 DBLP  BibTeX  RDF
1Dave Clarke 0001, José Proença, Alexander Lazovik, Farhad Arbab Deconstructing Reo. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yue Yu 0002, Shangping Ren, Carolyn L. Talcott Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1José Antonio Martín, Ernesto Pimentel 0001 Automatic Generation of Adaptation Contracts. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Samira Tasharofi, Marjan Sirjani Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Suzana Andova, Luuk Groenewegen, Erik P. de Vink Dynamic Consistency in Process Algebra: From Paradigm to ACP. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Farhad Arbab, Sun Meng, Christel Baier Synthesis of Reo Circuits from Scenario-based Specifications. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Pascal Poizat, Marjan Sirjani Preface. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Y. H. Wong, Jeremy Gibbons A Relative Timed Semantics for BPMN. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kevin Marth, Shangping Ren The ARC Programming Model - Language Constructs for Coordination. Search on Bibsonomy FOCLASA@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license