Universal Arrow Foundations for Visual Modeling-Reference-Cited by-同舟云学术

Universal Arrow Foundations for Visual Modeling

Published:2000 Issue: Volume: Page:345-360
ISSN:0302-9743
Container-title:Theory and Application of Diagrams
language:
Short-container-title:

Author:

Diskin Zinovy,Kadish Boris,Piessens Frank,Johnson Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44590-0_30

Reference18 articles.

1. S. Abramsky. Interaction categories and communicating sequential processes. In A.W. Roscoe, editor, A Classical Mind: Essays in honour of C.A.R.Hoare, pages 1–15. Prentice Hall Int., 1994.

2. Lect Notes Comput Sci;P. Atzeni,1996

3. A. Bagchi and C. Wells. Graph-based logic and sketches. In 10th Int.Congress of Logic,Methodology and Philosophy of Science, Florence, 1995, Kluwer Acad.Publ., 1997.

4. M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall International Series in Computer Science, 1990.

5. J. Barwise and J. Etchemendy. A computational architecture for heterogeneous reasoning. In Theoretical Aspects of Rationality and Knowledge, pages 1–27. Morgan Kaufmann, 1998.

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Employing Graph Databases for Business Process Management and Representation;Lecture Notes in Information Systems and Organisation;2023

2. From BPMN Models to Labelled Property Graphs;International Conference on Information Systems Development;2022-09-19

3. Multimodel correspondence through inter-model constraints;Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming;2018-04-09

4. Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling;Modelling Foundations and Applications;2016

5. Clafer: unifying class and feature modeling;Software & Systems Modeling;2014-12-13