Rewriting Structured Cospans: A Syntax For Open Systems

W. Lawvere. Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci. U.S.A. Vol. 50, No. 3, Pp. 869–872. 1963. Available at https://www.ncbi.nlm.nih.gov

1963

Earlier work this paper cites.

J. Bénabou. Introduction to bicategories. Reports of the Midwest category theory seminar. Springer, Berlin, Heidelberg. 1967

1967

Earlier work this paper cites.

R. Penrose. Applications of negative dimensional tensors. Combinatorial Mathematics and its Applications. Proc. Conf. Academic Press, London. 1971. Available at http://homepages.math.uic.edu/

1971

Earlier work this paper cites.

H. Ehrig, M. Pfender, H.J. Schneider. Graph-grammars: An algebraic approach. In Switching and Automata Theory, 1973. SWAT’08. IEEE Conference Record of 14th Annual Symposium . Pp. 167–180. IEEE. 1973

1973

Earlier work this paper cites.

G. Wraith. Artin gluing. J. Pure Appl. Algebra . Vol. 4, Pp. 345–348. 1974

Original

1974

Earlier work this paper cites.

H. Bernstein, H. Byerly, F. Hopf, R. Michod, G.K. Vemulapalli. The Darwinian Dynamic. The Quarterly Review of Biology. Vol. 58, No. 2, Pp. 185–207. 1983

1983

Earlier work this paper cites.

H.T. Odum. Systems Ecology; An Introduction. John Wiley and Sons. New York. 1983

1983

Earlier work this paper cites.

A. Carboni, R. Walters. Cartesian bicategories, I. J. Pure Appl. Algebra. Vol. 49, No. 1-2, Pp. 11-32. 1987

1987

Earlier work this paper cites.

H. Ehrig, A. Habel, H.J. Kreowski, F. Parisi-Presicce. From graph grammars to high level replacement systems. In 4th Int. Workshop on Graph Grammars and their Application to Computer Science . Lect. Notes Comput. Sc . Vol. 532, Pp. 269–291. Springer Verlag. 1991

1991

Earlier work this paper cites.

H. Ehrig, A. Habel, H.J. Kreowski, F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science . Vol. 1. 1991

1991

Earlier work this paper cites.

A. Joyal, R. Street. The geometry of tensor calculus. Adv. Math. Vol. 88, No. 1. 1991

1991

Earlier work this paper cites.

S. MacLane, I. Moerdijk. Sheaves in geometry and logic: A first introduction to topos theory. Springer-Verlag. New York. 1994

1994

Earlier work this paper cites.

A. Corradini, H. Ehrig, R. Heckel, M. Loewe, U. Montanari. Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. University of Pisa. 1996. Available at http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail&id=oai%3Ancstrlh%3Aunipi_it%3Ancstrl.unipi_it%2F%2FTR-96-17

1996

Earlier work this paper cites.

F. Gadducci, R. Heckel. An inductive view of graph transformation. International Workshop on Algebraic Development Techniques . Pp. 223–237. Springer. 1998. Also available at academia.edu

1998

Earlier work this paper cites.

S. MacLane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer-Verlag. New York. 1998

1998

Earlier work this paper cites.

F. Baader, T. Nipkow. Term Rewriting and All That. Cambridge University Press. 1999

1999

Earlier work this paper cites.

M. Nielson, I. Chuang. Quantum computations and quantum information. Cambridge University Press. 2000

2000

Earlier work this paper cites.

A. Habel, J. M uller, D. Plump. Double pushout graph transformations revisited. Math. Structures Comput. Sci. Vol. 11, No. 5, Pp. 637–688. 2001. Also available at researchgate.net

2001

Earlier work this paper cites.

N. Chomsky. Syntactic Structures. Walter de Gruyter. 2002

2002

Cited alongside, same era.

P. Johnstone. Sketches of an Elephant: A Topos Theory Compendium. Oxford University Press. 2002

2002

Cited alongside, same era.

S. Abramsky, B. Coecke. A categorical semantics of quantum protocols. Logic in Computer Science. Proceedings of the 19th Annual IEEE Symposium. 2004. Also available at arXiv:quant-ph/0402130

2004

Cited alongside, same era.

S. Lack, P. Sobocinski. Adhesive categories. International Conference on Foundations of Software Science and Computation Structures. Pp. 273–288. Springer, Berlin. 2004. Also available at https://link.springer.com/

2004

Cited alongside, same era.

S. Lack, P. Sobocinski. Toposes are adhesive. International Conference on Graph Transformations. Lecture Notes in Comput. Sci. Vol. 4178, Pp. 184–198. 2006. Also available at http://citeseerx.ist.psu.edu/

B. Coecke, S. Perdrix. Environment and classical channels in categorical quantum mechanics. Log. Methods Comput. Sci. Vol. 4, No. 4. 2012. Also available as arXiv:1004.1598

Original

2012

Later among the works it cites.

B. Coecke, D. Pavlovic, J. Vicary. A new description of orthogonal bases. Math. Structures Comput. Sci. Vol. 23, No. 3. 2013. Also available at arXiv:0810.0812

Original

2013

Later among the works it cites.

J. Baez, B. Fong, B. Pollard. A compositional framework for passive linear networks. 2015. Available as arXiv:1504.05625

Original

2015

Later among the works it cites.

R. Grandis, M. Paré. Intercategories. Theory Appl. Categ. Vol. 30, Pp. 1215-1255. 2015. Also available as arXiv:1412.0144

Original

2015

Later among the works it cites.

A. Kissinger, V. Zamdzhiev. Quantomatic: a proof assistant for diagrammatic reasoning. Automated deduction—CADE 25. Lecture Notes in Comput. Sci. Vol. 9195. Springer. 2015. Also available as arXiv:1503.01034