Timed automata, CAV, pp.8-22, 1999. ,
Principles of Constraint Programming, 2003. ,
DOI : 10.1017/CBO9780511615320
Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004. ,
DOI : 10.1017/S0960129504004153
Symbolic Model Checking without BDDs, TACAS, pp.193-207, 1999. ,
DOI : 10.1007/3-540-49059-0_14
Automata for Context-Dependent Connectors, In COORDINATION LNCS, vol.154, issue.1, pp.184-203, 2009. ,
DOI : 10.1016/j.entcs.2005.12.034
Scenarios: A model of non-determinate computation, ICFPC, pp.252-259, 1981. ,
DOI : 10.1007/3-540-10699-5_102
Connector colouring I: Synchronisation and context dependency, Science of Computer Programming, vol.66, issue.3, pp.205-225, 2007. ,
DOI : 10.1016/j.scico.2007.01.009
Deconstructing <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>, Electronic Notes in Theoretical Computer Science, vol.229, issue.2, pp.43-58, 2009. ,
DOI : 10.1016/j.entcs.2009.06.028
A fully abstract trace model for dataflow networks, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.155-165, 1989. ,
DOI : 10.1145/75277.75291
The semantics of a simple language for parallel programming, IFIP Congress, pp.471-475, 1974. ,
SAT-based Abstraction Refinement for Real-time Systems, Electronic Notes in Theoretical Computer Science, vol.182, pp.107-122, 2007. ,
DOI : 10.1016/j.entcs.2006.09.034
SAT-based Verification for Timed Component Connectors, Electronic Notes in Theoretical Computer Science, vol.255, pp.103-118, 2009. ,
DOI : 10.1016/j.entcs.2009.10.027
RTsynchronizer: Language support for real-time specifications in distributed systems, In LCT-RTS, pp.50-59, 1995. ,
Coordination as constrainted interaction (extended abstract), In CO- ORDINATION LNCS, vol.1061, pp.28-33, 1996. ,