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

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

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

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

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

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

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

Designing hybrid cooperations with a component language for solving optimisation problemsCASTRO, Carlos; MONFROY, Eric.Lecture notes in computer science. 2004, pp 447-458, issn 0302-9743, isbn 3-540-22959-0, 12 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

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

A run-time system for WCLROWSTRON, A; WRAY, S.Lecture notes in computer science. 1999, pp 78-96, issn 0302-9743, isbn 3-540-66673-7Conference Paper

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

Generalized index-set splittingBARTON, Christopher; TAL, Arie; BLAINEY, Bob et al.Lecture notes in computer science. 2005, pp 106-120, issn 0302-9743, isbn 3-540-25411-0, 15 p.Conference Paper

Analysis of modular arithmeticMÜLLER-OLM, Markus; SEIDL, Helmut.Lecture notes in computer science. 2005, pp 46-60, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

Tiger : An interpreter generation toolCASEY, Kevin; GREGG, David; ERTL, M. Anton et al.Lecture notes in computer science. 2005, pp 246-249, issn 0302-9743, isbn 3-540-25411-0, 4 p.Conference Paper

Trace partitioning in abstract interpretation based static analyzersMAUBORGNE, Laurent; RIVAL, Xavier.Lecture notes in computer science. 2005, pp 5-20, issn 0302-9743, isbn 3-540-25435-8, 16 p.Conference Paper

Coordinating web services using channel based communicationLEMNIOTES, Theophilos; PAPADOPOULOS, George A; ARBAB, Farhad et al.Annual international computer software and applications conference. 2004, isbn 0-7695-2209-2, 2Vol, vol1, 486-491Conference Paper

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