Extending the matching facilities of LindaWELLS, George; CHALMERS, Alan; CLAYTON, Peter et al.Lecture notes in computer science. 2002, pp 380-388, issn 0302-9743, isbn 3-540-43410-0Conference Paper

SIKA: a new method to build electronic meeting systemsXIA SHUNDONG; YOU JINYUAN.High technology letters. 2001, Vol 7, Num 3, pp 15-20, issn 1006-6748Article

CC 2005 : compiler construction (Edinburgh, 4-8 April 2005)Bodik, Rastislav.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25411-0, XI, 304 p, isbn 3-540-25411-0Conference Proceedings

Programming languages and systems (Edinburgh, 4-8 April 2005)Sagiv, Mooly.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25435-8, XIII, 438 p, isbn 3-540-25435-8Conference Proceedings

The SPACETUB models and frameworkTOLKSDORF, Robert; ROJEC-GOLDMANN, Gregor.Lecture notes in computer science. 2002, pp 348-363, issn 0302-9743, isbn 3-540-43410-0Conference Paper

Coordination models and languagese (Namur, 20-23 April 2005)Jacquet, Jean-Marie; Picco, Gian Pietro.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25630-X, X, 297 p, isbn 3-540-25630-XConference Proceedings

A coordination approach to mobile componentsPATTINSON, Dirk; WIRSING, Martin.Theoretical computer science. 2005, Vol 331, Num 2-3, pp 457-483, issn 0304-3975, 27 p.Conference Paper

On the expressiveness of absolute-time coordination languagesLINDEN, I; JACQUET, J.-M.Lecture notes in computer science. 2004, pp 232-247, issn 0302-9743, isbn 3-540-21044-X, 16 p.Conference Paper

A rule language for interactionCASTRO, Carlos; MONFROY, Eric; RINGEISSEN, Christophe et al.Lecture notes in computer science. 2004, pp 154-170, issn 0302-9743, isbn 3-540-21834-3, 17 p.Conference Paper

Interprocedural herbrand equalitiesMÜLLER-OLM, Markus; SEIDL, Helmut; STEFFEN, Bernhard et al.Lecture notes in computer science. 2005, pp 31-45, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

Age-oriented concurrent garbage collectionPAZ, Harel; PETRANK, Erez; BLACKBURN, Stephen M et al.Lecture notes in computer science. 2005, pp 121-136, issn 0302-9743, isbn 3-540-25411-0, 16 p.Conference Paper

Experiences with enumeration of integer projections of parametric polytopesVERDOOLAEGE, Sven; BEYLS, Kristof; BRUYNOOGHE, Maurice et al.Lecture notes in computer science. 2005, pp 91-105, issn 0302-9743, isbn 3-540-25411-0, 15 p.Conference Paper

BI hyperdoctrines and higher-order separation logicBIERING, Bodil; BIRKEDAL, Lars; TORP-SMITH, Noah et al.Lecture notes in computer science. 2005, pp 233-247, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

Fully abstract models and refinements as tools to compare agents in timed coordination languagesJACQUET, Jean-Marie; LINDEN, Isabelle.Theoretical computer science. 2009, Vol 410, Num 2-3, pp 221-253, issn 0304-3975, 33 p.Article

Coordination Models Orc and Reo ComparedPROENCA, José; CLARKE, Dave.Report - Software engineering. 2008, Num 2, pp 1-30, issn 1386-369X, 30 p.Article

Organizing a Fishnet StructureSCHATTEN, Markus; ZUGAJ, Miroslav.Information technology interfaces. 2007, pp 81-86, isbn 978-953-7138-09-7, 1Vol, 6 p.Conference Paper

Expired data collection in shared dataspacesBUSI, Nadia; ZAVATTARO, Gianluigi.Theoretical computer science. 2003, Vol 298, Num 3, pp 529-556, issn 0304-3975, 28 p.Conference Paper

Coordinating action systemsHEDMAN, E. J; KOK, J. N; SERE, K et al.Theoretical computer science. 2000, Vol 240, Num 1, pp 91-115, issn 0304-3975Article

Deciding reachability in mobile ambientsBUSI, Nadia; ZAVATTARO, Gianluigi.Lecture notes in computer science. 2005, pp 248-262, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

Reasoning about connector reconfiguration I: Equivalence of constructionsCLARKE, Dave.Report - Software engineering. 2005, Num 06, pp 1-14, issn 1386-369X, 14 p.Article

Jazz : A tool for demand-driven structural testingMISURDA, Jonathan; CLAUSE, Jim; REED, Juliya et al.Lecture notes in computer science. 2005, pp 242-245, issn 0302-9743, isbn 3-540-25411-0, 4 p.Conference Paper

Preserving architectural properties in multithreaded code generationBERNARDO, Marco; BONTA, Edoardo.Lecture notes in computer science. 2005, pp 188-203, issn 0302-9743, isbn 3-540-25630-X, 16 p.Conference Paper

A process calculus for QoS-aware applicationsDE NICOLA, Rocco; FERRARI, Gianluigi; MONTANARI, Ugo et al.Lecture notes in computer science. 2005, pp 33-48, issn 0302-9743, isbn 3-540-25630-X, 16 p.Conference Paper

Delegation modeling with paradigmGROENEWEGEN, Luuk; VAN KAMPENHOUT, Niels; DE VINK, Erik et al.Lecture notes in computer science. 2005, pp 94-108, issn 0302-9743, isbn 3-540-25630-X, 15 p.Conference Paper

Subtyping fFirst-class polymorphic componentsSECO, Joao Costa; CAIRES, Luis.Lecture notes in computer science. 2005, pp 342-356, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper