Finite representations of CCS and TCSP programs by automata and Petri nets:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1989
|
| Schriftenreihe: | Lecture notes in computer science
369 |
| Schlagworte: | |
| Beschreibung: | X, 168 S. graph. Darst. |
| ISBN: | 3540515259 0387515259 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001855642 | ||
| 003 | DE-604 | ||
| 005 | 20070322 | ||
| 007 | t | ||
| 008 | 890626s1989 d||| m||| 00||| eng d | ||
| 020 | |a 3540515259 |9 3-540-51525-9 | ||
| 020 | |a 0387515259 |9 0-387-51525-9 | ||
| 035 | |a (OCoLC)243205646 | ||
| 035 | |a (DE-599)BVBBV001855642 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-12 |a DE-384 |a DE-91G |a DE-703 |a DE-739 |a DE-20 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.D5 | |
| 082 | 0 | |a 004/.36 |2 20 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 516d |2 stub | ||
| 100 | 1 | |a Taubner, Dirk |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Finite representations of CCS and TCSP programs by automata and Petri nets |c Dirk Taubner |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1989 | |
| 300 | |a X, 168 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 369 | |
| 502 | |a Zugl.: Diss. | ||
| 650 | 4 | |a Langages de programmation | |
| 650 | 4 | |a Pétri, Réseaux de | |
| 650 | 4 | |a Traitement réparti | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing | |
| 650 | 4 | |a Petri nets | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Paralleler Prozess |0 (DE-588)4224684-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automat |0 (DE-588)4003949-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CCS |0 (DE-588)4219672-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programm |0 (DE-588)4047394-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a TCSP |0 (DE-588)4219671-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CSP |0 (DE-588)4329097-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 2 | |a CCS |0 (DE-588)4219672-3 |D s |
| 689 | 0 | 3 | |a Automat |0 (DE-588)4003949-3 |D s |
| 689 | 0 | 4 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 2 | |a TCSP |0 (DE-588)4219671-1 |D s |
| 689 | 1 | 3 | |a Automat |0 (DE-588)4003949-3 |D s |
| 689 | 1 | 4 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a CSP |0 (DE-588)4329097-8 |D s |
| 689 | 3 | 1 | |a Programm |0 (DE-588)4047394-6 |D s |
| 689 | 3 | 2 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a CCS |0 (DE-588)4219672-3 |D s |
| 689 | 4 | 1 | |a Programm |0 (DE-588)4047394-6 |D s |
| 689 | 4 | 2 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 4 | |5 DE-604 | |
| 689 | 5 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 5 | 1 | |a Programm |0 (DE-588)4047394-6 |D s |
| 689 | 5 | |5 DE-604 | |
| 689 | 6 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 6 | 1 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 6 | |5 DE-604 | |
| 689 | 7 | 0 | |a Paralleler Prozess |0 (DE-588)4224684-2 |D s |
| 689 | 7 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 7 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in computer science |v 369 |w (DE-604)BV000000607 |9 369 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001228712 | ||
Datensatz im Suchindex
| _version_ | 1804116321390034944 |
|---|---|
| any_adam_object | |
| author | Taubner, Dirk |
| author_facet | Taubner, Dirk |
| author_role | aut |
| author_sort | Taubner, Dirk |
| author_variant | d t dt |
| building | Verbundindex |
| bvnumber | BV001855642 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5 |
| callnumber-search | QA76.9.D5 |
| callnumber-sort | QA 276.9 D5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 516d |
| ctrlnum | (OCoLC)243205646 (DE-599)BVBBV001855642 |
| dewey-full | 004/.36 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.36 |
| dewey-search | 004/.36 |
| dewey-sort | 14 236 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03519nam a2200949 cb4500</leader><controlfield tag="001">BV001855642</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070322 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890626s1989 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540515259</subfield><subfield code="9">3-540-51525-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387515259</subfield><subfield code="9">0-387-51525-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243205646</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001855642</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-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.36</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Taubner, Dirk</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Finite representations of CCS and TCSP programs by automata and Petri nets</subfield><subfield code="c">Dirk Taubner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 168 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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">369</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Diss.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Pétri, Réseaux de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Traitement réparti</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automat</subfield><subfield code="0">(DE-588)4003949-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CCS</subfield><subfield code="0">(DE-588)4219672-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">TCSP</subfield><subfield code="0">(DE-588)4219671-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CSP</subfield><subfield code="0">(DE-588)4329097-8</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">CCS</subfield><subfield code="0">(DE-588)4219672-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Automat</subfield><subfield code="0">(DE-588)4003949-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">TCSP</subfield><subfield code="0">(DE-588)4219671-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Automat</subfield><subfield code="0">(DE-588)4003949-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">CSP</subfield><subfield code="0">(DE-588)4329097-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">CCS</subfield><subfield code="0">(DE-588)4219672-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="1"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="6" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="6" ind2="1"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="6" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="7" ind2="0"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="7" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="7" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">369</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">369</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001228712</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV001855642 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:36:39Z |
| institution | BVB |
| isbn | 3540515259 0387515259 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001228712 |
| oclc_num | 243205646 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-12 DE-384 DE-91G DE-BY-TUM DE-703 DE-739 DE-20 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-19 DE-BY-UBM DE-12 DE-384 DE-91G DE-BY-TUM DE-703 DE-739 DE-20 DE-83 DE-11 DE-188 DE-706 |
| physical | X, 168 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Taubner, Dirk Verfasser aut Finite representations of CCS and TCSP programs by automata and Petri nets Dirk Taubner Berlin [u.a.] Springer 1989 X, 168 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 369 Zugl.: Diss. Langages de programmation Pétri, Réseaux de Traitement réparti Datenverarbeitung Electronic data processing Distributed processing Petri nets Programming languages (Electronic computers) Petri-Netz (DE-588)4045388-1 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Paralleler Prozess (DE-588)4224684-2 gnd rswk-swf Automat (DE-588)4003949-3 gnd rswk-swf CCS (DE-588)4219672-3 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Programm (DE-588)4047394-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf TCSP (DE-588)4219671-1 gnd rswk-swf CSP (DE-588)4329097-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Parallelverarbeitung (DE-588)4075860-6 s Programmierung (DE-588)4076370-5 s CCS (DE-588)4219672-3 s Automat (DE-588)4003949-3 s Petri-Netz (DE-588)4045388-1 s DE-604 TCSP (DE-588)4219671-1 s CSP (DE-588)4329097-8 s Programm (DE-588)4047394-6 s Automatentheorie (DE-588)4003953-5 s Paralleler Prozess (DE-588)4224684-2 s Formale Sprache (DE-588)4017848-1 s Lecture notes in computer science 369 (DE-604)BV000000607 369 |
| spellingShingle | Taubner, Dirk Finite representations of CCS and TCSP programs by automata and Petri nets Lecture notes in computer science Langages de programmation Pétri, Réseaux de Traitement réparti Datenverarbeitung Electronic data processing Distributed processing Petri nets Programming languages (Electronic computers) Petri-Netz (DE-588)4045388-1 gnd Automatentheorie (DE-588)4003953-5 gnd Paralleler Prozess (DE-588)4224684-2 gnd Automat (DE-588)4003949-3 gnd CCS (DE-588)4219672-3 gnd Formale Sprache (DE-588)4017848-1 gnd Programm (DE-588)4047394-6 gnd Programmierung (DE-588)4076370-5 gnd Parallelverarbeitung (DE-588)4075860-6 gnd TCSP (DE-588)4219671-1 gnd CSP (DE-588)4329097-8 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4003953-5 (DE-588)4224684-2 (DE-588)4003949-3 (DE-588)4219672-3 (DE-588)4017848-1 (DE-588)4047394-6 (DE-588)4076370-5 (DE-588)4075860-6 (DE-588)4219671-1 (DE-588)4329097-8 (DE-588)4113937-9 |
| title | Finite representations of CCS and TCSP programs by automata and Petri nets |
| title_auth | Finite representations of CCS and TCSP programs by automata and Petri nets |
| title_exact_search | Finite representations of CCS and TCSP programs by automata and Petri nets |
| title_full | Finite representations of CCS and TCSP programs by automata and Petri nets Dirk Taubner |
| title_fullStr | Finite representations of CCS and TCSP programs by automata and Petri nets Dirk Taubner |
| title_full_unstemmed | Finite representations of CCS and TCSP programs by automata and Petri nets Dirk Taubner |
| title_short | Finite representations of CCS and TCSP programs by automata and Petri nets |
| title_sort | finite representations of ccs and tcsp programs by automata and petri nets |
| topic | Langages de programmation Pétri, Réseaux de Traitement réparti Datenverarbeitung Electronic data processing Distributed processing Petri nets Programming languages (Electronic computers) Petri-Netz (DE-588)4045388-1 gnd Automatentheorie (DE-588)4003953-5 gnd Paralleler Prozess (DE-588)4224684-2 gnd Automat (DE-588)4003949-3 gnd CCS (DE-588)4219672-3 gnd Formale Sprache (DE-588)4017848-1 gnd Programm (DE-588)4047394-6 gnd Programmierung (DE-588)4076370-5 gnd Parallelverarbeitung (DE-588)4075860-6 gnd TCSP (DE-588)4219671-1 gnd CSP (DE-588)4329097-8 gnd |
| topic_facet | Langages de programmation Pétri, Réseaux de Traitement réparti Datenverarbeitung Electronic data processing Distributed processing Petri nets Programming languages (Electronic computers) Petri-Netz Automatentheorie Paralleler Prozess Automat CCS Formale Sprache Programm Programmierung Parallelverarbeitung TCSP CSP Hochschulschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT taubnerdirk finiterepresentationsofccsandtcspprogramsbyautomataandpetrinets |