Searching for "An axiomatization of graphs." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Syntactic theory for bigraphs
- …-authors). First, I give an axiomatization of structural congruence (graph equivalence) for binding bigraphs. Along…
- Cited by 2 (1 self) – Add To MetaCart
-
The Demeter Kernel Model for Object-Oriented and Language Design
- …. semi-class dictionary graphs. 2. an axiomatic, graph-theoretic foundation for class dictionaries (some…
- Cited by 5 (4 self) – Add To MetaCart
-
A Mathematical Model of the Mach Kernel: Atomic Actions and Locks
- …. In the remainder of this report we are not careful to distinguish the axiomatic, graph, and database…
- Cited by 5 (3 self) – Add To MetaCart
-
A Mathematical Model of the Mach Kernel: Atomic Actions and Locks
- …. In the remainder of this report we are not careful to distinguish the axiomatic, graph, and database…
- Add To MetaCart
-
An Algebraic Semantics of Basic Message Sequence Charts
- … proof we state that PABMSC is a complete axiomatization of the graph model. To every closed process…
- Cited by 64 (12 self) – Add To MetaCart
-
Customizing Adaptive Software to Object-Oriented Software Using Grammars
- … to our earlier papers on the Demeter method: 1. an axiomatic, graph-theoretic foundation for class…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 6.
