Ready trace semantics for concrete process algebra with priority operator:
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,17 |
| Subjects: | |
| Physical Description: | 21 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009245935 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1985 |||| 00||| eng d | ||
| 035 | |a (OCoLC)17870954 | ||
| 035 | |a (DE-599)BVBBV009245935 | ||
| 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 Ready trace semantics for concrete process algebra with priority operator |c J. C. M. Baeten, J. A. Bergstra, J. W. Klop |
| 264 | 1 | |a Amsterdam |c 1985 | |
| 300 | |a 21 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,17 | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 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,17 |w (DE-604)BV008928356 |9 85,17 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006152274 | ||
Record in the Search Index
| _version_ | 1804123693175013376 |
|---|---|
| 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 | BV009245935 |
| ctrlnum | (OCoLC)17870954 (DE-599)BVBBV009245935 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01243nam a2200313 cb4500</leader><controlfield tag="001">BV009245935</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)17870954</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009245935</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">Ready trace semantics for concrete process algebra with priority operator</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">21 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,17</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</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,17</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">85,17</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006152274</subfield></datafield></record></collection> |
| id | DE-604.BV009245935 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:49Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006152274 |
| oclc_num | 17870954 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 21 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 Ready trace semantics for concrete process algebra with priority operator J. C. M. Baeten, J. A. Bergstra, J. W. Klop Amsterdam 1985 21 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 85,17 Parallel processing (Electronic computers) Programming languages (Electronic computers) Semantics 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,17 (DE-604)BV008928356 85,17 |
| spellingShingle | Baeten, Josephus C. M. Bergstra, Jan A. 1951- Klop, Jan Willem 1945- Ready trace semantics for concrete process algebra with priority operator Parallel processing (Electronic computers) Programming languages (Electronic computers) Semantics |
| title | Ready trace semantics for concrete process algebra with priority operator |
| title_auth | Ready trace semantics for concrete process algebra with priority operator |
| title_exact_search | Ready trace semantics for concrete process algebra with priority operator |
| title_full | Ready trace semantics for concrete process algebra with priority operator J. C. M. Baeten, J. A. Bergstra, J. W. Klop |
| title_fullStr | Ready trace semantics for concrete process algebra with priority operator J. C. M. Baeten, J. A. Bergstra, J. W. Klop |
| title_full_unstemmed | Ready trace semantics for concrete process algebra with priority operator J. C. M. Baeten, J. A. Bergstra, J. W. Klop |
| title_short | Ready trace semantics for concrete process algebra with priority operator |
| title_sort | ready trace semantics for concrete process algebra with priority operator |
| topic | Parallel processing (Electronic computers) Programming languages (Electronic computers) Semantics |
| topic_facet | Parallel processing (Electronic computers) Programming languages (Electronic computers) Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT baetenjosephuscm readytracesemanticsforconcreteprocessalgebrawithpriorityoperator AT bergstrajana readytracesemanticsforconcreteprocessalgebrawithpriorityoperator AT klopjanwillem readytracesemanticsforconcreteprocessalgebrawithpriorityoperator |