Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference25 articles.
1. Towards a calculus of state-based software components;Barbosa;J. Univers. Comput. Sci.,2003
2. Puff, The Magic Protocol;Arbab,2011
3. A coinductive calculus of component connectors;Arbab,2002
4. Modeling component connectors in Reo by constraint automata;Baier;Sci. Comput. Program.,2006
5. Constraint automata with memory cells and their composition;Jongmans;Sci. Comput. Program.,2017