A process specification formalism based on static COLD:
Abstract: "PSF/C is a formal specification language, based on COLD, a wide spectrum specification language developed at Philips Research, Eindhoven. In PSF/C, we can specify concurrent communicating processes. The process syntax and semantics is based on the algebraic concurrency language ACP.&...
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1989
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
89,30 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "PSF/C is a formal specification language, based on COLD, a wide spectrum specification language developed at Philips Research, Eindhoven. In PSF/C, we can specify concurrent communicating processes. The process syntax and semantics is based on the algebraic concurrency language ACP." |
| Beschreibung: | 48 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009258280 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1989 |||| 00||| eng d | ||
| 035 | |a (OCoLC)22336113 | ||
| 035 | |a (DE-599)BVBBV009258280 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 245 | 1 | 0 | |a A process specification formalism based on static COLD |c J. C. M. Baeten ... |
| 264 | 1 | |a Amsterdam |c 1989 | |
| 300 | |a 48 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 89,30 | |
| 520 | 3 | |a Abstract: "PSF/C is a formal specification language, based on COLD, a wide spectrum specification language developed at Philips Research, Eindhoven. In PSF/C, we can specify concurrent communicating processes. The process syntax and semantics is based on the algebraic concurrency language ACP." | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 4 | |a COLD (Computer program language) | |
| 700 | 1 | |a Baeten, Josephus C. M. |e Sonstige |4 oth | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 89,30 |w (DE-604)BV008928356 |9 89,30 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006160336 | ||
Datensatz im Suchindex
| _version_ | 1804123705552404480 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV009258280 |
| ctrlnum | (OCoLC)22336113 (DE-599)BVBBV009258280 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01338nam a2200301 cb4500</leader><controlfield tag="001">BV009258280</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1989 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22336113</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009258280</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="245" ind1="1" ind2="0"><subfield code="a">A process specification formalism based on static COLD</subfield><subfield code="c">J. C. M. Baeten ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">48 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">89,30</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "PSF/C is a formal specification language, based on COLD, a wide spectrum specification language developed at Philips Research, Eindhoven. In PSF/C, we can specify concurrent communicating processes. The process syntax and semantics is based on the algebraic concurrency language ACP."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COLD (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baeten, Josephus C. M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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">89,30</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">89,30</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006160336</subfield></datafield></record></collection> |
| id | DE-604.BV009258280 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:34:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006160336 |
| oclc_num | 22336113 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 48 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | A process specification formalism based on static COLD J. C. M. Baeten ... Amsterdam 1989 48 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 89,30 Abstract: "PSF/C is a formal specification language, based on COLD, a wide spectrum specification language developed at Philips Research, Eindhoven. In PSF/C, we can specify concurrent communicating processes. The process syntax and semantics is based on the algebraic concurrency language ACP." Abstract data types (Computer science) COLD (Computer program language) Baeten, Josephus C. M. Sonstige oth Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 89,30 (DE-604)BV008928356 89,30 |
| spellingShingle | A process specification formalism based on static COLD Abstract data types (Computer science) COLD (Computer program language) |
| title | A process specification formalism based on static COLD |
| title_auth | A process specification formalism based on static COLD |
| title_exact_search | A process specification formalism based on static COLD |
| title_full | A process specification formalism based on static COLD J. C. M. Baeten ... |
| title_fullStr | A process specification formalism based on static COLD J. C. M. Baeten ... |
| title_full_unstemmed | A process specification formalism based on static COLD J. C. M. Baeten ... |
| title_short | A process specification formalism based on static COLD |
| title_sort | a process specification formalism based on static cold |
| topic | Abstract data types (Computer science) COLD (Computer program language) |
| topic_facet | Abstract data types (Computer science) COLD (Computer program language) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT baetenjosephuscm aprocessspecificationformalismbasedonstaticcold |