Parallel composition and unfolding semantics of graph grammars:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
1996
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | V, 202 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010860157 | ||
| 003 | DE-604 | ||
| 005 | 20160202 | ||
| 007 | t | ||
| 008 | 960718s1996 d||| m||| 00||| engod | ||
| 016 | 7 | |a 948220759 |2 DE-101 | |
| 035 | |a (OCoLC)258310893 | ||
| 035 | |a (DE-599)BVBBV010860157 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-29T |a DE-83 |a DE-11 | ||
| 084 | |a DAT 516d |2 stub | ||
| 084 | |a DAT 554d |2 stub | ||
| 100 | 1 | |a Ribeiro, Leila |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Parallel composition and unfolding semantics of graph grammars |c vorgelegt von Leila Ribeiro |
| 264 | 1 | |c 1996 | |
| 300 | |a V, 202 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Berlin, Techn. Univ., Diss., 1996 | ||
| 650 | 4 | |a Graph-Grammatik - Nebenläufigkeit | |
| 650 | 0 | 7 | |a Graph-Grammatik |0 (DE-588)4132847-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Graph-Grammatik |0 (DE-588)4132847-4 |D s |
| 689 | 0 | 1 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007258665&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007258665 | |
Datensatz im Suchindex
| _version_ | 1807773695348834304 |
|---|---|
| adam_text |
CONTENTS
1
INTRODUCTION
1
2
PARALLEL
COMPOSITION
AND
UNFOLDING
OF
GRAPH
GRAMMARS:
AN
EXAMPLE
6
2.1
TELEPHONE
SYSTEM
7
2.2
SPECIFICATION
OF
THE
PBX
SYSTEM
USING
GRAPH
GRAMMARS
7
2.2.1
ABSTRACT
GLOBAL
VIEW
OF
THE
PBX
SYSTEM
9
2.2.2
P
HONE
LOCAL
VIEW
OF
THE
PBX
SYSTEM:
GRAMMAR
PLV
12
2.2.3
C
ENTRAL
LOCAL
VIEW
OF
THE
PBX
SYSTEM:
GRAMMAR
CLV
12
2.2.4
CONCRETE
GLOBAL
VIEW
OF
THE
PBX
SYSTEM:
GRAMMAR
CGV
15
2.2.5
SEMANTICS
OF
THE
PBX
SYSTEM
16
3
GRAPH
GRAMMARS
23
3.1
TYPED
GRAPHS
24
3.2
RULES
36
3.3
GRAPH
GRAMMARS
AND
THEIR
BEHAVIOUR
47
3.3.1
SEQUENTIAL
SEMANTICS
50
3.3.2
CONCURRENT
SEMANTICS
52
4
PARALLEL
COMPOSITION
OF
GRAPH
GRAMMARS
60
4.1
GRAPH
GRAMMAR
MORPHISMS
61
4.2
PARALLEL
COMPOSITION
OF
GRAPH
GRAMMARS
70
4.2.1
PURE
PARALLEL
COMPOSITION
71
4.2.2
'
COOPERATIVE
PARALLEL
COMPOSITION
77
5
OCCURRENCE
GRAPH
GRAMMARS
85
5.1
DOUBLY-TYPED
GRAPH
GRAMMARS
87
5.2
RELATIONS
WITHIN
A
(DOUBLY-TYPED)
GRAPH
GRAMMAR
96
5.3
OCCURRENCE
GRAPH
GRAMMARS
106
5.4
CONCURRENT
DERIVATIONS
AND
OCCURRENCE
GRAPH
GRAMMARS
120
5.5
FOLDING
OF
OCCURRENCE
GRAPH
GRAMMARS
125
6
UNFOLDING
SEMANTICS
OF
GRAPH
GRAMMARS
130
6.1
CONSTRUCTION
OF
THE
UNFOLDING
OF
A
GRAPH
GRAMMAR
131
6.2
UNFOLDINGS
AND
CONCURRENT
SEMANTICS
140
6.3
RELATIONSHIP
BETWEEN
TYPED-GRAPH
GRAMMARS
AND
THEIR
UNFOLDING
SEMANTICS
143
6.4
PARALLEL
COMPOSITION
AND
UNFOLDING
OF
GRAPH
GRAMMARS
150
7
RELATED
WORK
152
7.1
OTHER
APPROACHES
TO
THE
COMPOSITION
OF
GRAPH
GRAMMARS
152
7.2
OTHER
APPROACHES
TO
CONCURRENT
SEMANTICS
OF
GRAPH
GRAMMARS
155
7.3
PETRI
NETS
157
7.3.1
PETRI
NETS
AND
PARALLEL
COMPOSITION
159
7.3.2
PETRI
NETS
AND
UNFOLDING
SEMANTICS
160
8
CONCLUSION
164
A
NOTATION
169
B
CATEGORICAL
CONSTRUCTIONS
170
B.L
BASIC
CONCEPTS
OF
CATEGORY
THEORY
170
B.2
CATEGORIES
OF
SETS
172
B.3
CATEGORIES
OF
GRAPHS
173
B.4
CATEGORIES
OF
TYPED
GRAPHS
175
B.5
CATEGORIES
OF
DOUBLE-TYPED
GRAPHS
178
C
PROOFS
179
BIBLIOGRAPHY
194
INDEX
201 |
| any_adam_object | 1 |
| author | Ribeiro, Leila |
| author_facet | Ribeiro, Leila |
| author_role | aut |
| author_sort | Ribeiro, Leila |
| author_variant | l r lr |
| building | Verbundindex |
| bvnumber | BV010860157 |
| classification_tum | DAT 516d DAT 554d |
| ctrlnum | (OCoLC)258310893 (DE-599)BVBBV010860157 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010860157</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160202</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960718s1996 d||| m||| 00||| engod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948220759</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258310893</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010860157</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 554d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ribeiro, Leila</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Parallel composition and unfolding semantics of graph grammars</subfield><subfield code="c">vorgelegt von Leila Ribeiro</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 202 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Berlin, Techn. Univ., Diss., 1996</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graph-Grammatik - Nebenläufigkeit</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007258665&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007258665</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010860157 |
| illustrated | Illustrated |
| indexdate | 2024-08-19T00:29:00Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007258665 |
| oclc_num | 258310893 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-29T DE-83 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-29T DE-83 DE-11 |
| physical | V, 202 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| spelling | Ribeiro, Leila Verfasser aut Parallel composition and unfolding semantics of graph grammars vorgelegt von Leila Ribeiro 1996 V, 202 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berlin, Techn. Univ., Diss., 1996 Graph-Grammatik - Nebenläufigkeit Graph-Grammatik (DE-588)4132847-4 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Graph-Grammatik (DE-588)4132847-4 s Nebenläufigkeit (DE-588)4115352-2 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007258665&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ribeiro, Leila Parallel composition and unfolding semantics of graph grammars Graph-Grammatik - Nebenläufigkeit Graph-Grammatik (DE-588)4132847-4 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| subject_GND | (DE-588)4132847-4 (DE-588)4115352-2 (DE-588)4113937-9 |
| title | Parallel composition and unfolding semantics of graph grammars |
| title_auth | Parallel composition and unfolding semantics of graph grammars |
| title_exact_search | Parallel composition and unfolding semantics of graph grammars |
| title_full | Parallel composition and unfolding semantics of graph grammars vorgelegt von Leila Ribeiro |
| title_fullStr | Parallel composition and unfolding semantics of graph grammars vorgelegt von Leila Ribeiro |
| title_full_unstemmed | Parallel composition and unfolding semantics of graph grammars vorgelegt von Leila Ribeiro |
| title_short | Parallel composition and unfolding semantics of graph grammars |
| title_sort | parallel composition and unfolding semantics of graph grammars |
| topic | Graph-Grammatik - Nebenläufigkeit Graph-Grammatik (DE-588)4132847-4 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| topic_facet | Graph-Grammatik - Nebenläufigkeit Graph-Grammatik Nebenläufigkeit Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007258665&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ribeiroleila parallelcompositionandunfoldingsemanticsofgraphgrammars |