Structured Co-spans: An algebra of interaction protocols

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

Volumn 4624 LNCS, Issue , 2007, Pages 194-208

  Fiadeiro, José Luiz ^a   Schmitt, Vincent ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; FACTORIZATION;

BICATEGORIES; SOFTWARE INTENSIVE SYSTEMS;

ALGEBRA;

EID: 38049088973     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73859-6_14     Document Type: Conference Paper

References (14)

1. Adámek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. John Wiley & Sons, New York Chichester Brisbane Toronto Singapore (1990)
2. Bénabou, J.: Introduction to bicategories. In: Complementary Definitions of Programming Language Semantics. LNCS, vol. 42, pp. 1-77. Springer, Heidelberg (1967)
3. Borceux, F.: Handbook of Categorical Algebra 1. Cambridge University Press, Cambridge (1994)
4. Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A component framework for system modeling based on high-level replacement systems. Software Systems Modeling 3, 114-135 (2004)
5. Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2004)
6. Fiadeiro, J.L.: Designing for software's social complexity. IEEE Computer 40(1), 34-39 (2007)
7. Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service-oriented architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193-213. Springer, Heidelberg (2006)
8. Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic semantics of service component modules. In: Fiadeiro, J.L., Schobbens, P.Y. (eds.) Algebraic Development Techniques. LNCS, vol. 4409, pp. 37-55. Springer, Heidelberg (2007)
9. Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A mathematical semantics for architectural connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol. 2793, pp. 190-234. Springer, Heidelberg (2003)
10. Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal ACM 39(1), 95-146 (1992)
11. Katis, P., Sabadini, N., Walters, R.F.C.: Bicategories of processes. Journal of Pure and Applied Algebra 115, 141-178 (1997)
12. Kelly, G.M., Labella, A., Schmitt, V., Street, R.: Categories enriched on two sides. Journal of Pure and Applied Algebra 168, 53-98 (2002)
13. Sassone, V., Nielsen, M., Winskel, G.: A classification of models for concurrency. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 82-96. Springer, Heidelberg (1993)
14. Sassone, V., Sobocinski, P.: Reactive systems over cospans. In: LICS'05, pp. 311-320. IEEE Computer Society, Los Alamitos (2005)