Finite representations of CCS and TCSP programs by automata and Petri nets:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1989
|
| Series: | Lecture notes in computer science
369 |
| Subjects: | |
| Physical Description: | X, 168 S. graph. Darst. |
| ISBN: | 3540515259 0387515259 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001855642 | ||
| 003 | DE-604 | ||
| 005 | 20070322 | ||
| 007 | t| | ||
| 008 | 890626s1989 xx 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 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 Automatentheorie |0 (DE-588)4003953-5 |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 Paralleler Prozess |0 (DE-588)4224684-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a TCSP |0 (DE-588)4219671-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automat |0 (DE-588)4003949-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CCS |0 (DE-588)4219672-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programm |0 (DE-588)4047394-6 |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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001228712 | |
Record in the Search Index
| _version_ | 1820874837152759808 |
|---|---|
| adam_text | |
| 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>00000nam a2200000 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 xx 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">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">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">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">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">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">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">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">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">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">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">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">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="943" ind1="1" 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 | 2025-01-10T15:06:05Z |
| 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) Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Paralleler Prozess (DE-588)4224684-2 gnd rswk-swf TCSP (DE-588)4219671-1 gnd rswk-swf Automat (DE-588)4003949-3 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf CCS (DE-588)4219672-3 gnd rswk-swf Programm (DE-588)4047394-6 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) Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Paralleler Prozess (DE-588)4224684-2 gnd TCSP (DE-588)4219671-1 gnd Automat (DE-588)4003949-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Petri-Netz (DE-588)4045388-1 gnd Programmierung (DE-588)4076370-5 gnd CCS (DE-588)4219672-3 gnd Programm (DE-588)4047394-6 gnd CSP (DE-588)4329097-8 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4017848-1 (DE-588)4224684-2 (DE-588)4219671-1 (DE-588)4003949-3 (DE-588)4075860-6 (DE-588)4045388-1 (DE-588)4076370-5 (DE-588)4219672-3 (DE-588)4047394-6 (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) Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Paralleler Prozess (DE-588)4224684-2 gnd TCSP (DE-588)4219671-1 gnd Automat (DE-588)4003949-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Petri-Netz (DE-588)4045388-1 gnd Programmierung (DE-588)4076370-5 gnd CCS (DE-588)4219672-3 gnd Programm (DE-588)4047394-6 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) Automatentheorie Formale Sprache Paralleler Prozess TCSP Automat Parallelverarbeitung Petri-Netz Programmierung CCS Programm CSP Hochschulschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT taubnerdirk finiterepresentationsofccsandtcspprogramsbyautomataandpetrinets |