A notion of glue expressiveness for component-based systems

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

Volumn 5201 LNCS, Issue , 2008, Pages 508-522

  Bliudze, Simon ^a   Sifakis, Joseph ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BIOMINERALIZATION; CARBON FIBER REINFORCED PLASTICS; GLUES; GLUING; KETONES; SEMICONDUCTOR SWITCHES; SEPARATION; TURING MACHINES;

AND MODELS; BEHAVIORAL EQUIVALENCES; COMPOSITE COMPONENTS; COORDINATION MECHANISMS; EQUIVALENT MODELS; FINITE NUMBERS; PROCESS ALGEBRAS; PROCESS CALCULUS; TRANSITION RELATIONS;

ADHESIVES;

EID: 54249106320     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85361-9_39     Document Type: Conference Paper

References (11)

1. Felleisen, M.: On the expressive power of programming languages. In: Jones, N.D. (ed.) ESOP 1990. LNCS, vol. 432, pp. 134-151. Springer, Heidelberg (1990)
2. Sifakis, J.: A framework for component-based construction. In: 3rd IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM 2005), September 2005, pp. 293-300 (2005) (Keynote talk)
3. th IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM 2006), September 2006, pp. 3-12 (2006) (Invited talk)
4. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19. University of Aarhus (1981)
5. Bloom, B.: Ready Simulation, Bisimulation, and the Semantics of CCS-Like Languages. PhD thesis, Massachusetts Institute of Technology (1989)
6. Aceto, L., Fokkink, W., Verhoef, C.: Structural Operational Semantics. In: Handbook of Process Algebra, ch.3, pp. 197-292. Elsevier, Amsterdam (2001)
7. Mousavi, M., Reniers, M.A., Groote, J.F.: SOS formats and meta-theory: 20 years after. Theoretical Computer Science 373(3), 238-272 (2007)
8. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1985)
9. Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
10. Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science 25(3), 267-310 (1983)
11. Bliudze, S., Sifakis, J.: The algebra of connectors - Structuring interaction in BIP. In: Proc. of the EMSOFT 2007, October 2007, pp. 11-20. ACM SigBED (2007)