Searching for "Solo Diagrams." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Solo Diagrams
- …Solo Diagrams Cosimo Laneve 1 , Joachim Parrow 2 , and Bjorn Victor 3 1 Dept. of Computer…
- Cited by 13 (3 self) – Add To MetaCart
-
On graph(ic) encodings
- … includes the use of solo diagrams, term graphs, synchronized hyperedge replacement systems, bigraphs, tile…
- Cited by 1 (0 self) – Add To MetaCart
-
On Graph(ic) Encodings
- … includes the use of solo diagrams, term graphs, synchronized hyperedge re-placement systems, bigraphs, tile…
- Add To MetaCart
-
F.: Concurrent nets: a study of prefixing in process calculi. Theoretical Computer Science 356
- … for existing calculi, like π-nets [9] or solo diagrams [7], and to the introduction of new purely graphical…
- Cited by 3 (0 self) – Add To MetaCart
-
unknown title
- … means to represent φ-terms, namely extended Solo Diagrams. Solo Diagrams were introduced in [LPV01] as a…
- Add To MetaCart
-
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
- … and mobility: solo diagrams, synchronized hyperedge replacement, tile systems etc., see e.g. [2] for references…
- Cited by 16 (8 self) – Add To MetaCart
-
On Differential Interaction Nets and the Pi-calculus
- … provided by various authors (cf. the work of Laneve, Parrow and Victor on solo diagrams [LPV01], of Beffara…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Modeling via Executable Specifications in Rewriting Logic.
- … suitable for presenting calculi for concurrency and mobility: solo diagrams, synchronized hyperedge…
- Add To MetaCart
Showing 1 through 8.
