The syntax and semantics of CRL:
Abstract: "A simple specification language based on CRL (Common Representation Language) and therefore called [mu]CRL (micro CRL) is proposed. It has been developed to study processes with data. So the language contains only basic constructs with an easy semantics. To obtain executability, effe...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1990
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
90,76 |
| Subjects: | |
| Summary: | Abstract: "A simple specification language based on CRL (Common Representation Language) and therefore called [mu]CRL (micro CRL) is proposed. It has been developed to study processes with data. So the language contains only basic constructs with an easy semantics. To obtain executability, effective [mu]CRL has been defined. In effective [mu]CRL equivalence between closed data-terms is decidable and the operational behaviour is finitely branching and computable. This makes effective [mu]CRL a good platform for tooling activities." |
| Physical Description: | 35 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009224558 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1990 |||| 00||| eng d | ||
| 035 | |a (OCoLC)24807024 | ||
| 035 | |a (DE-599)BVBBV009224558 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a Groote, Jan F. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The syntax and semantics of CRL |c J. F. Groote ; A. Ponse |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 35 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 90,76 | |
| 520 | 3 | |a Abstract: "A simple specification language based on CRL (Common Representation Language) and therefore called [mu]CRL (micro CRL) is proposed. It has been developed to study processes with data. So the language contains only basic constructs with an easy semantics. To obtain executability, effective [mu]CRL has been defined. In effective [mu]CRL equivalence between closed data-terms is decidable and the operational behaviour is finitely branching and computable. This makes effective [mu]CRL a good platform for tooling activities." | |
| 650 | 4 | |a Grammatik | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 4 | |a Grammar, Comparative and general |x Syntax | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Specifications | |
| 700 | 1 | |a Ponse, Alban |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 90,76 |w (DE-604)BV008928356 |9 90,76 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006133794 | ||
Record in the Search Index
| _version_ | 1804123667613876224 |
|---|---|
| any_adam_object | |
| author | Groote, Jan F. Ponse, Alban |
| author_facet | Groote, Jan F. Ponse, Alban |
| author_role | aut aut |
| author_sort | Groote, Jan F. |
| author_variant | j f g jf jfg a p ap |
| building | Verbundindex |
| bvnumber | BV009224558 |
| ctrlnum | (OCoLC)24807024 (DE-599)BVBBV009224558 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01697nam a2200349 cb4500</leader><controlfield tag="001">BV009224558</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1990 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24807024</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009224558</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><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Groote, Jan F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The syntax and semantics of CRL</subfield><subfield code="c">J. F. Groote ; A. Ponse</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">35 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">90,76</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A simple specification language based on CRL (Common Representation Language) and therefore called [mu]CRL (micro CRL) is proposed. It has been developed to study processes with data. So the language contains only basic constructs with an easy semantics. To obtain executability, effective [mu]CRL has been defined. In effective [mu]CRL equivalence between closed data-terms is decidable and the operational behaviour is finitely branching and computable. This makes effective [mu]CRL a good platform for tooling activities."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grammatik</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">Grammar, Comparative and general</subfield><subfield code="x">Syntax</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Specifications</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ponse, Alban</subfield><subfield code="e">Verfasser</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">90,76</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,76</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006133794</subfield></datafield></record></collection> |
| id | DE-604.BV009224558 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:25Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006133794 |
| oclc_num | 24807024 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 35 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Groote, Jan F. Verfasser aut The syntax and semantics of CRL J. F. Groote ; A. Ponse Amsterdam 1990 35 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 90,76 Abstract: "A simple specification language based on CRL (Common Representation Language) and therefore called [mu]CRL (micro CRL) is proposed. It has been developed to study processes with data. So the language contains only basic constructs with an easy semantics. To obtain executability, effective [mu]CRL has been defined. In effective [mu]CRL equivalence between closed data-terms is decidable and the operational behaviour is finitely branching and computable. This makes effective [mu]CRL a good platform for tooling activities." Grammatik Abstract data types (Computer science) Grammar, Comparative and general Syntax Semantics Specifications Ponse, Alban Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 90,76 (DE-604)BV008928356 90,76 |
| spellingShingle | Groote, Jan F. Ponse, Alban The syntax and semantics of CRL Grammatik Abstract data types (Computer science) Grammar, Comparative and general Syntax Semantics Specifications |
| title | The syntax and semantics of CRL |
| title_auth | The syntax and semantics of CRL |
| title_exact_search | The syntax and semantics of CRL |
| title_full | The syntax and semantics of CRL J. F. Groote ; A. Ponse |
| title_fullStr | The syntax and semantics of CRL J. F. Groote ; A. Ponse |
| title_full_unstemmed | The syntax and semantics of CRL J. F. Groote ; A. Ponse |
| title_short | The syntax and semantics of CRL |
| title_sort | the syntax and semantics of crl |
| topic | Grammatik Abstract data types (Computer science) Grammar, Comparative and general Syntax Semantics Specifications |
| topic_facet | Grammatik Abstract data types (Computer science) Grammar, Comparative and general Syntax Semantics Specifications |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT grootejanf thesyntaxandsemanticsofcrl AT ponsealban thesyntaxandsemanticsofcrl |