References

  1. Eduard Baranov & Simon Bliudze (2015): Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Science of Computer Programming 109(0), pp. 2–35, doi:10.1016/j.scico.2015.05.011. Selected Papers of the 6th Interaction and Concurrency Experience (ICE 2013).
  2. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen & Joseph Sifakis (2011): Rigorous component-based system design using the BIP framework. IEEE Software 28(3), pp. 41–48, doi:10.1109/MS.2011.27.
  3. Ananda Basu, Marius Bozga & Joseph Sifakis (2006): Modeling Heterogeneous Real-time Components in BIP. In: 4th IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM06), pp. 3–12, doi:10.1109/SEFM.2006.27. Invited talk.
  4. Simon Bliudze & Joseph Sifakis (2007): The Algebra of Connectors — Structuring Interaction in BIP. In: Proc. of the EMSOFT'07. ACM SigBED, pp. 11–20, doi:10.1145/1289927.1289935.
  5. Simon Bliudze & Joseph Sifakis (2008): A Notion of Glue Expressiveness for Component-Based Systems. In: Franck van Breugel & Marsha Chechik: CONCUR 2008, LNCS 5201. Springer, pp. 508–522, doi:10.1007/978-3-540-85361-9_39.
  6. Simon Bliudze, Joseph Sifakis, Marius Dorel Bozga & Mohamad Jaber (2014): Architecture Internalisation in BIP. In: Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE '14. ACM, New York, NY, USA, pp. 169–178, doi:10.1145/2602458.2602477.
  7. Bard Bloom (1989): Ready Simulation, Bisimulation, and the Semantics of CCS-Like Languages. Massachusetts Institute of Technology.
  8. Roberto Bruni, Ivan Lanese & Ugo Montanari (2006): A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1), pp. 98–120, doi:10.1016/j.tcs.2006.07.005.
  9. Roberto Bruni, Hernán Melgratti & Ugo Montanari (2012): Connector Algebras, Petri Nets, and BIP. In: Edmund Clarke, Irina Virbitskaite & Andrei Voronkov: Perspectives of Systems Informatics, Lecture Notes in Computer Science 7162. Springer Berlin Heidelberg, pp. 19–38, doi:10.1007/978-3-642-29709-0_2.
  10. Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro (2010): Sessions and Session Types: An Overview. In: Cosimo Laneve & Jianwen Su: Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Lecture Notes in Computer Science 6194. Springer Berlin Heidelberg, pp. 1–28, doi:10.1007/978-3-642-14458-5_1.
  11. Kasper Dokter, Sung-Shik T. Q. Jongmans, Farhad Arbab & Simon Bliudze (2015): Relating BIP and Reo. In: Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente & Hugo Torres Vieira: Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015., EPTCS 189, pp. 3–20, doi:10.4204/EPTCS.189.3.
  12. J. Eker, J.W. Janneck, E.A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs & Y. Xiong (2003): Taming Heterogeneity: The Ptolemy Approach. Proceedings of the IEEE 91(1), pp. 127–144, doi:10.1109/JPROC.2002.805829.
  13. Matthias Felleisen (1990): On the expressive power of programming languages. In: 3rd European Symposium on Programming (ESOP'90), LNCS 432. Springer, pp. 134–151, doi:10.1007/3-540-52592-0_60.
  14. Rob J. van Glabbeek (2012): Musings on Encodings and Expressiveness. In: Bas Luttik & Michel A. Reniers: Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012., EPTCS 89, pp. 81–98, doi:10.4204/EPTCS.89.7.
  15. Daniele Gorla (2010): Towards a unified approach to encodability and separation results for process calculi. Information and Computation 208(9), pp. 1031–1053, doi:10.1016/j.ic.2010.05.002.
  16. Gregor Gößler & Joseph Sifakis (2003): Priority Systems. In: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf & Willem P. de Roever: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, Lecture Notes in Computer Science 3188. Springer, pp. 314–329, doi:10.1007/978-3-540-30101-1_15.
  17. Gregor Gössler & Joseph Sifakis (2005): Composition for component-based modeling. Science of Computer Programming 55(1–3), pp. 161–183, doi:10.1016/j.scico.2004.05.014. Formal Methods for Components and Objects: Pragmatic aspects and applications.
  18. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language primitives and type discipline for structured communication-based programming. In: Chris Hankin: Programming Languages and Systems, LNCS 1381. Springer Berlin Heidelberg, pp. 122–138, doi:10.1007/BFb0053567.
  19. Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira & Gianluigi Zavattaro (2016): Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1), pp. 3:1–3:36, doi:10.1145/2873052.
  20. Robin Milner (1989): Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall.
  21. MohammadReza Mousavi, Iain Phillips, Michel A. Reniers & Irek Ulidowski (2009): Semantics and expressiveness of ordered SOS. Information and Computation 207, pp. 85–119, doi:10.1016/j.ic.2007.11.008.
  22. MohammadReza Mousavi, Michel A. Reniers & Jan Friso Groote (2007): SOS formats and meta-theory: 20 years after. Theoretical Computer Science 373(3), pp. 238–272, doi:10.1016/j.tcs.2006.12.019.
  23. David M. R. Park (1981): Concurrency and Automata on Infinite Sequences. Proceedings of the 5th GI-Conference on Theoretical Computer Science, pp. 167–183, doi:10.1007/BFb0017309.
  24. Jan J. M. M. Rutten (2000): Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), pp. 3–80, doi:10.1016/S0304-3975(00)00056-6.
  25. Joseph Sifakis (2005): A Framework for Component-based Construction. In: 3rd IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM05), pp. 293–300, doi:10.1109/SEFM.2005.3. Keynote talk.
  26. Pawel Sobocinski (2009): A non-interleaving process calculus for multi-party synchronisation. In: Filippo Bonchi, Davide Grohmann, Paola Spoletini & Emilio Tuosto: ICE, EPTCS 12, pp. 87–98, doi:10.4204/EPTCS.12.6.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org