A timed process description language based on CCS:
Abstract: "A calculus of communicating systems with synchronizer, CCSS, is introduced. The calculus is an extension of Milner's CCS and it allows expression and analysis of time properties of concurrent systems. Several equivalence relations on CCSS are proposed and studied. With the help...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Pisa
1991
|
| Schriftenreihe: | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report
1991,9 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "A calculus of communicating systems with synchronizer, CCSS, is introduced. The calculus is an extension of Milner's CCS and it allows expression and analysis of time properties of concurrent systems. Several equivalence relations on CCSS are proposed and studied. With the help of different subsets of CCSS a wide spectrum of equivalence relations on CCS are defined and discussed. The relationship among CCSS, ATP and a calculus with priorities is shown." |
| Beschreibung: | 30 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010844107 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960711s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)27332739 | ||
| 035 | |a (DE-599)BVBBV010844107 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Gruska, Damas P. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A timed process description language based on CCS |c D. P. Gruska ; A. Maggiolo-Schettini |
| 264 | 1 | |a Pisa |c 1991 | |
| 300 | |a 30 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report |v 1991,9 | |
| 520 | 3 | |a Abstract: "A calculus of communicating systems with synchronizer, CCSS, is introduced. The calculus is an extension of Milner's CCS and it allows expression and analysis of time properties of concurrent systems. Several equivalence relations on CCSS are proposed and studied. With the help of different subsets of CCSS a wide spectrum of equivalence relations on CCS are defined and discussed. The relationship among CCSS, ATP and a calculus with priorities is shown." | |
| 650 | 4 | |a Formal languages | |
| 700 | 1 | |a Maggiolo-Schettini, Andrea |e Verfasser |4 aut | |
| 810 | 2 | |a Dipartimento di Informatica: Technical report |t Università degli Studi <Pisa> |v 1991,9 |w (DE-604)BV010841375 |9 1991,9 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007249263 | ||
Datensatz im Suchindex
| _version_ | 1804125332066795520 |
|---|---|
| any_adam_object | |
| author | Gruska, Damas P. Maggiolo-Schettini, Andrea |
| author_facet | Gruska, Damas P. Maggiolo-Schettini, Andrea |
| author_role | aut aut |
| author_sort | Gruska, Damas P. |
| author_variant | d p g dp dpg a m s ams |
| building | Verbundindex |
| bvnumber | BV010844107 |
| ctrlnum | (OCoLC)27332739 (DE-599)BVBBV010844107 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01476nam a2200301 cb4500</leader><controlfield tag="001">BV010844107</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960711s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27332739</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010844107</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-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gruska, Damas P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A timed process description language based on CCS</subfield><subfield code="c">D. P. Gruska ; A. Maggiolo-Schettini</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Pisa</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">30 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">Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report</subfield><subfield code="v">1991,9</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A calculus of communicating systems with synchronizer, CCSS, is introduced. The calculus is an extension of Milner's CCS and it allows expression and analysis of time properties of concurrent systems. Several equivalence relations on CCSS are proposed and studied. With the help of different subsets of CCSS a wide spectrum of equivalence relations on CCS are defined and discussed. The relationship among CCSS, ATP and a calculus with priorities is shown."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maggiolo-Schettini, Andrea</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Dipartimento di Informatica: Technical report</subfield><subfield code="t">Università degli Studi <Pisa></subfield><subfield code="v">1991,9</subfield><subfield code="w">(DE-604)BV010841375</subfield><subfield code="9">1991,9</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007249263</subfield></datafield></record></collection> |
| id | DE-604.BV010844107 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:59:52Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007249263 |
| oclc_num | 27332739 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 30 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report |
| spelling | Gruska, Damas P. Verfasser aut A timed process description language based on CCS D. P. Gruska ; A. Maggiolo-Schettini Pisa 1991 30 S. txt rdacontent n rdamedia nc rdacarrier Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report 1991,9 Abstract: "A calculus of communicating systems with synchronizer, CCSS, is introduced. The calculus is an extension of Milner's CCS and it allows expression and analysis of time properties of concurrent systems. Several equivalence relations on CCSS are proposed and studied. With the help of different subsets of CCSS a wide spectrum of equivalence relations on CCS are defined and discussed. The relationship among CCSS, ATP and a calculus with priorities is shown." Formal languages Maggiolo-Schettini, Andrea Verfasser aut Dipartimento di Informatica: Technical report Università degli Studi <Pisa> 1991,9 (DE-604)BV010841375 1991,9 |
| spellingShingle | Gruska, Damas P. Maggiolo-Schettini, Andrea A timed process description language based on CCS Formal languages |
| title | A timed process description language based on CCS |
| title_auth | A timed process description language based on CCS |
| title_exact_search | A timed process description language based on CCS |
| title_full | A timed process description language based on CCS D. P. Gruska ; A. Maggiolo-Schettini |
| title_fullStr | A timed process description language based on CCS D. P. Gruska ; A. Maggiolo-Schettini |
| title_full_unstemmed | A timed process description language based on CCS D. P. Gruska ; A. Maggiolo-Schettini |
| title_short | A timed process description language based on CCS |
| title_sort | a timed process description language based on ccs |
| topic | Formal languages |
| topic_facet | Formal languages |
| volume_link | (DE-604)BV010841375 |
| work_keys_str_mv | AT gruskadamasp atimedprocessdescriptionlanguagebasedonccs AT maggioloschettiniandrea atimedprocessdescriptionlanguagebasedonccs |