Behavioural contracts for a sound assembly of components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2767, Issue , 2003, Pages 111-126

  Carrez, Cyril ^a   Fantechi, Alessandro ^b,c   Najm, Elie ^a  

^a TELECOM PARISTECH   (France)

^b UNIVERSITY OF FLORENCE   (Italy)

^c ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

CLIENT /SERVER; COMPONENT BASED DESIGN; COMPONENT MODEL; COMPOSITIONAL VERIFICATION; DEADLOCK FREENESS; DISTRIBUTED SYSTEMS AND APPLICATIONS; MULTITHREADED; PEER-TO-PEER COMMUNICATIONS;

COMPUTABILITY AND DECIDABILITY;

EID: 35248834215     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39979-7_8     Document Type: Article

References (8)

1. A. Bailly. Assume / Guarantee Contracts for Timed Mobile Objects. PhD thesis, ENST, December 2002.
2. L. de Alfaro and T. A. Henzinger. Interface automata. In ESEC/FSE-01, volume 26, 5 of SOFTWARE ENGINEERING NOTES. ACM Press, 2001.
3. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. INFCTRL: Information and Computation (formerly Information and Control), 173, 2002.
4. N. Kobayashi. A type system for lock-free processes. INFCTRL: Information and Computation (formerly Information and Control), 177, 2002.
5. N. Kobayashi, B. C. Pierce, and D. N. Turner. Linearity and the Pi-Calculus. ACM Transactions on Programming Languages and Systems, 21(5), 1999.
6. K.G. Larsen, B. Steffen, and C. Weise. A constraint oriented proof methodology based on modal transition sytems. In Tools and Algorithms for Construction and Analysis of Systems, TACAS'95, volume 1019 of LNCS, 1995.
7. O. Nierstrasz. Regular types for active objects. In Object-Oriented Software Composition, pages 99-121. Prentice-Hall, 1995.
8. E. Najm, A. Nimour, and J.-B. Stefani. Guaranteeing liveness in an object calculus through behavioral typing. In Proc. of FORTE/PSTV'99, Oct. 1999.