Verification of parameterised synchronous concurrent algorithms with OBJ3: the pixel planes architecture revisited
Abstract: "We consider the verification of parmeterised [sic] synchronous concurrent algorithms using OBJ3. Our case study is the linear expression evaluator from the Pixel Planes graphics architecture which has previously been manually verified and has also been verified using OBJ3 in the fixe...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1992
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
92,25 |
| Subjects: | |
| Summary: | Abstract: "We consider the verification of parmeterised [sic] synchronous concurrent algorithms using OBJ3. Our case study is the linear expression evaluator from the Pixel Planes graphics architecture which has previously been manually verified and has also been verified using OBJ3 in the fixed size nonparameterised case." |
| Physical Description: | 17 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009008739 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)27670719 | ||
| 035 | |a (DE-599)BVBBV009008739 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Eker, S. M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Verification of parameterised synchronous concurrent algorithms with OBJ3 |b the pixel planes architecture revisited |c S. M. Eker |
| 264 | 1 | |a Amsterdam |c 1992 | |
| 300 | |a 17 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 92,25 | |
| 520 | 3 | |a Abstract: "We consider the verification of parmeterised [sic] synchronous concurrent algorithms using OBJ3. Our case study is the linear expression evaluator from the Pixel Planes graphics architecture which has previously been manually verified and has also been verified using OBJ3 in the fixed size nonparameterised case." | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 92,25 |w (DE-604)BV008928356 |9 92,25 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005955226 | ||
Record in the Search Index
| _version_ | 1804123355880620032 |
|---|---|
| any_adam_object | |
| author | Eker, S. M. |
| author_facet | Eker, S. M. |
| author_role | aut |
| author_sort | Eker, S. M. |
| author_variant | s m e sm sme |
| building | Verbundindex |
| bvnumber | BV009008739 |
| ctrlnum | (OCoLC)27670719 (DE-599)BVBBV009008739 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01409nam a2200301 cb4500</leader><controlfield tag="001">BV009008739</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27670719</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009008739</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">Eker, S. M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification of parameterised synchronous concurrent algorithms with OBJ3</subfield><subfield code="b">the pixel planes architecture revisited</subfield><subfield code="c">S. M. Eker</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 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">92,25</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We consider the verification of parmeterised [sic] synchronous concurrent algorithms using OBJ3. Our case study is the linear expression evaluator from the Pixel Planes graphics architecture which has previously been manually verified and has also been verified using OBJ3 in the fixed size nonparameterised case."</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">Rewriting systems (Computer science)</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">92,25</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">92,25</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005955226</subfield></datafield></record></collection> |
| id | DE-604.BV009008739 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:28Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005955226 |
| oclc_num | 27670719 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 17 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Eker, S. M. Verfasser aut Verification of parameterised synchronous concurrent algorithms with OBJ3 the pixel planes architecture revisited S. M. Eker Amsterdam 1992 17 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 92,25 Abstract: "We consider the verification of parmeterised [sic] synchronous concurrent algorithms using OBJ3. Our case study is the linear expression evaluator from the Pixel Planes graphics architecture which has previously been manually verified and has also been verified using OBJ3 in the fixed size nonparameterised case." Abstract data types (Computer science) Rewriting systems (Computer science) Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 92,25 (DE-604)BV008928356 92,25 |
| spellingShingle | Eker, S. M. Verification of parameterised synchronous concurrent algorithms with OBJ3 the pixel planes architecture revisited Abstract data types (Computer science) Rewriting systems (Computer science) |
| title | Verification of parameterised synchronous concurrent algorithms with OBJ3 the pixel planes architecture revisited |
| title_auth | Verification of parameterised synchronous concurrent algorithms with OBJ3 the pixel planes architecture revisited |
| title_exact_search | Verification of parameterised synchronous concurrent algorithms with OBJ3 the pixel planes architecture revisited |
| title_full | Verification of parameterised synchronous concurrent algorithms with OBJ3 the pixel planes architecture revisited S. M. Eker |
| title_fullStr | Verification of parameterised synchronous concurrent algorithms with OBJ3 the pixel planes architecture revisited S. M. Eker |
| title_full_unstemmed | Verification of parameterised synchronous concurrent algorithms with OBJ3 the pixel planes architecture revisited S. M. Eker |
| title_short | Verification of parameterised synchronous concurrent algorithms with OBJ3 |
| title_sort | verification of parameterised synchronous concurrent algorithms with obj3 the pixel planes architecture revisited |
| title_sub | the pixel planes architecture revisited |
| topic | Abstract data types (Computer science) Rewriting systems (Computer science) |
| topic_facet | Abstract data types (Computer science) Rewriting systems (Computer science) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT ekersm verificationofparameterisedsynchronousconcurrentalgorithmswithobj3thepixelplanesarchitecturerevisited |