Syntax and defining equations for an interrupt mechanism in process algebra:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1985
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
85,3 |
| Subjects: | |
| Physical Description: | 45 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009245941 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1985 |||| 00||| eng d | ||
| 035 | |a (OCoLC)17440268 | ||
| 035 | |a (DE-599)BVBBV009245941 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Baeten, Josephus C. M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Syntax and defining equations for an interrupt mechanism in process algebra |c J. C. M. Baeten, J. A. Bergstra, J. W. Klop |
| 264 | 1 | |a Amsterdam |c 1985 | |
| 300 | |a 45 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 85,3 | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Computer network protocols | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Syntax | |
| 700 | 1 | |a Bergstra, Jan A. |d 1951- |e Verfasser |0 (DE-588)123304881 |4 aut | |
| 700 | 1 | |a Klop, Jan Willem |d 1945- |e Verfasser |0 (DE-588)130644498 |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 85,3 |w (DE-604)BV008928356 |9 85,3 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006152280 | ||
Record in the Search Index
| _version_ | 1804123693193887744 |
|---|---|
| any_adam_object | |
| author | Baeten, Josephus C. M. Bergstra, Jan A. 1951- Klop, Jan Willem 1945- |
| author_GND | (DE-588)123304881 (DE-588)130644498 |
| author_facet | Baeten, Josephus C. M. Bergstra, Jan A. 1951- Klop, Jan Willem 1945- |
| author_role | aut aut aut |
| author_sort | Baeten, Josephus C. M. |
| author_variant | j c m b jcm jcmb j a b ja jab j w k jw jwk |
| building | Verbundindex |
| bvnumber | BV009245941 |
| ctrlnum | (OCoLC)17440268 (DE-599)BVBBV009245941 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01247nam a2200325 cb4500</leader><controlfield tag="001">BV009245941</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1985 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17440268</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009245941</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baeten, Josephus C. M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Syntax and defining equations for an interrupt mechanism in process algebra</subfield><subfield code="c">J. C. M. Baeten, J. A. Bergstra, J. W. Klop</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">45 S.</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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">85,3</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Syntax</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bergstra, Jan A.</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123304881</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Klop, Jan Willem</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130644498</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">85,3</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">85,3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006152280</subfield></datafield></record></collection> |
| id | DE-604.BV009245941 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:49Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006152280 |
| oclc_num | 17440268 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 45 S. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Baeten, Josephus C. M. Verfasser aut Syntax and defining equations for an interrupt mechanism in process algebra J. C. M. Baeten, J. A. Bergstra, J. W. Klop Amsterdam 1985 45 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 85,3 Algebra Computer network protocols Programming languages (Electronic computers) Syntax Bergstra, Jan A. 1951- Verfasser (DE-588)123304881 aut Klop, Jan Willem 1945- Verfasser (DE-588)130644498 aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 85,3 (DE-604)BV008928356 85,3 |
| spellingShingle | Baeten, Josephus C. M. Bergstra, Jan A. 1951- Klop, Jan Willem 1945- Syntax and defining equations for an interrupt mechanism in process algebra Algebra Computer network protocols Programming languages (Electronic computers) Syntax |
| title | Syntax and defining equations for an interrupt mechanism in process algebra |
| title_auth | Syntax and defining equations for an interrupt mechanism in process algebra |
| title_exact_search | Syntax and defining equations for an interrupt mechanism in process algebra |
| title_full | Syntax and defining equations for an interrupt mechanism in process algebra J. C. M. Baeten, J. A. Bergstra, J. W. Klop |
| title_fullStr | Syntax and defining equations for an interrupt mechanism in process algebra J. C. M. Baeten, J. A. Bergstra, J. W. Klop |
| title_full_unstemmed | Syntax and defining equations for an interrupt mechanism in process algebra J. C. M. Baeten, J. A. Bergstra, J. W. Klop |
| title_short | Syntax and defining equations for an interrupt mechanism in process algebra |
| title_sort | syntax and defining equations for an interrupt mechanism in process algebra |
| topic | Algebra Computer network protocols Programming languages (Electronic computers) Syntax |
| topic_facet | Algebra Computer network protocols Programming languages (Electronic computers) Syntax |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT baetenjosephuscm syntaxanddefiningequationsforaninterruptmechanisminprocessalgebra AT bergstrajana syntaxanddefiningequationsforaninterruptmechanisminprocessalgebra AT klopjanwillem syntaxanddefiningequationsforaninterruptmechanisminprocessalgebra |