Luca de Alfaro & Thomas A. Henzinger (2001):
Interface automata.
SIGSOFT Softw. Eng. Notes 26(5),
pp. 109–120,
doi:10.1145/503271.503226.
Farhad Arbab (2005):
Abstract Behavior Types: A foundation model for components and their composition.
Sci. Comput. Program. 55(1–3),
pp. 3–52,
doi:10.1016/j.scico.2004.05.010.
Luís Soares Barbosa (2000):
Components as Processes: An Exercise in Coalgebraic Modeling.
In: Scott F. Smith & Carolyn L. Talcott: FMOODS,
IFIP Conference Proceedings 177.
Kluwer,
pp. 397–418.
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.
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis & Rongjie Yan (2011):
D-Finder 2: towards efficient correctness of incremental design.
In: Proceedings of the 3rd international conference on NASA Formal methods,
NFM'11.
Springer-Verlag,
Berlin, Heidelberg,
pp. 453–458,
doi:10.1007/978-3-642-20398-5_32.
Available at http://dl.acm.org/citation.cfm?id=1986308.1986344.
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.
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.
Simon Bliudze & Joseph Sifakis (2010):
Causal semantics for the algebra of connectors.
Formal Methods in System Design 36(2),
pp. 167–194,
doi:10.1007/s10703-010-0091-z.
Simon Bliudze & Joseph Sifakis (2011):
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems.
In: Sven Apel & Ethan Jackson: 10th International Conference on Software Composition,
LNCS 6708.
Springer,
pp. 51–67,
doi:10.1007/978-3-642-22045-6_4.
Bard Bloom (1989):
Ready Simulation, Bisimulation, and the Semantics of CCS-Like Languages.
Massachusetts Institute of Technology.
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.
Dave Clarke, José Proença, Alexander Lazovik & Farhad Arbab (2009):
Deconstructing Reo.
ENTCS 229(2),
pp. 43–58,
doi:10.1016/j.entcs.2009.06.028.
Paul C. Clements (1995):
From Subroutines to Subsystems: Component-Based Software Development.
The American Programmer 8(11).
Geoff Coulson, Gordon Blair, Paul Grace, Francois Taiani, Ackbar Joolia, Kevin Lee, Jo Ueyama & Thirunavukkarasu Sivaharan (2008):
A generic component model for building systems software.
ACM Trans. Comput. Syst. 26(1),
pp. 1:1–1:42,
doi:10.1145/1328671.1328672.
Cinzia Di Giusto & Jean-Bernard Stefani (2011):
Revisiting Glue Expressiveness in Component-Based Systems.
In: Wolfgang De Meuter & Gruia-Catalin Roman: COORDINATION,
Lecture Notes in Computer Science 6721.
Springer,
pp. 16–30,
doi:10.1007/978-3-642-21464-6_2.
Ichiro Hasuo (2011):
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi.
In: Andrea Corradini, Bartek Klin & Corina Cîrstea: CALCO,
Lecture Notes in Computer Science 6859.
Springer,
pp. 222–236,
doi:10.1007/978-3-642-22944-2_16.
Ichiro Hasuo, Bart Jacobs & Ana Sokolova (2008):
The Microcosm Principle and Concurrency in Coalgebra.
In: Roberto M. Amadio: FoSSaCS,
LNCS 4962.
Springer,
pp. 246–260,
doi:10.1007/978-3-540-78499-9_18.
C. A. R. Hoare (1985):
Communicating Sequential Processes.
Prentice Hall International Series in Computer Science.
Prentice Hall.
Kim Larsen, Ulrik Nyman & Andrzej Wasowski (2007):
Modal I/O Automata for Interface and Product Line Theories.
In: Rocco De Nicola: Programming Languages and Systems,
Lecture Notes in Computer Science 4421.
Springer Berlin / Heidelberg,
pp. 64–79,
doi:10.1007/978-3-540-71316-6_6.
Yoad Lustig & Moshe Y. Vardi (2009):
Synthesis from Component Libraries.
In: FOSSACS'09: Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures.
Springer-Verlag,
Berlin, Heidelberg,
pp. 395–409,
doi:10.1007/978-3-642-00596-1_28.
Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten & Betty H.C. Cheng (2004):
Composing adaptive software.
Computer 37(7),
pp. 56–64,
doi:10.1109/MC.2004.48.
Robin Milner (1983):
Calculi for synchrony and asynchrony.
Theoretical Computer Science 25(3),
pp. 267–310,
doi:10.1016/0304-3975(83)90114-7.
Robin Milner (1989):
Communication and Concurrency.
Prentice Hall International Series in Computer Science.
Prentice Hall.
Amir Pnueli & Roni Rosner (1990):
Distributed reactive systems are hard to synthesize.
Annual IEEE Symposium on Foundations of Computer Science 2,
pp. 746–757,
doi:10.1109/FSCS.1990.89597.
Awais Rashid, Peter Sawyer, Ana Moreira & João Araújo (2002):
Early aspects: a model for aspect-oriented requirements engineering.
In: Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE'02).,
pp. 199–202,
doi:10.1109/ICRE.2002.1048526.
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.
J. Sifakis (2005):
A Framework for Component-based Construction.
In: Proceedings of the Third International Conference on Software Engineering and Formal Methods (SEFM).
IEEE Computer Society,
pp. 293–300.
Alexandra Silva (2010):
Kleene Coalgebra.
CWI,
Amsterdam, The Netherlands.
Ana Sokolova (2005):
Coalgebraic Analysis of Probabilistic Systems.
TU Eindhoven,
Eindhoven, The Netherlands.
Daniele Turi & Gordon D. Plotkin (1997):
Towards a Mathematical Operational Semantics.
In: LICS.
IEEE Computer Society,
pp. 280–291,
doi:10.1109/LICS.1997.614955.
Peter Wegner (1996):
Coordination as constrained interaction (extended abstract).
In: Proc. of the First International Conference on Coordination Languages and Models,
LNCS 1061.
Springer-Verlag,
Springer Berlin / Heidelberg,
pp. 28–33,
doi:10.1007/3-540-61052-9.
eptcs@eptcs.org