Real time process algebra with prefixed integration:
Abstract: "Recently J.C.M. Baeten and J.A. Bergstra extended ACP with real time, resulting in a Real Time Process Algebra called ACP[rho] [BB91]. They introduced an equational theory together with an operational semantics which contains the notion of an idle transition, reflecting that a proces...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1992
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
92,19 |
| Subjects: | |
| Summary: | Abstract: "Recently J.C.M. Baeten and J.A. Bergstra extended ACP with real time, resulting in a Real Time Process Algebra called ACP[rho] [BB91]. They introduced an equational theory together with an operational semantics which contains the notion of an idle transition, reflecting that a process can do nothing more than passing the time before performing a concrete action at a certain point in time. This idle transition corresponds nicely to our intuition, but it results in uncountably branching transition systems. Their paper does not contain a completeness result nor definitions for detailed proofs. In this paper we give a more abstract operational semantics without the idle transition Due to this simplification and by restricting to prefixed integration we can prove soundness and completeness. Furthermore, we will show that equality between process terms is decidable. |
| Physical Description: | 44 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009008754 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)28083158 | ||
| 035 | |a (DE-599)BVBBV009008754 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Fokkink, Willem J. |d 1965- |e Verfasser |0 (DE-588)121536831 |4 aut | |
| 245 | 1 | 0 | |a Real time process algebra with prefixed integration |c W. J. Fokkin g ; A. S. Klusener |
| 264 | 1 | |a Amsterdam |c 1992 | |
| 300 | |a 44 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,19 | |
| 520 | 3 | |a Abstract: "Recently J.C.M. Baeten and J.A. Bergstra extended ACP with real time, resulting in a Real Time Process Algebra called ACP[rho] [BB91]. They introduced an equational theory together with an operational semantics which contains the notion of an idle transition, reflecting that a process can do nothing more than passing the time before performing a concrete action at a certain point in time. This idle transition corresponds nicely to our intuition, but it results in uncountably branching transition systems. Their paper does not contain a completeness result nor definitions for detailed proofs. In this paper we give a more abstract operational semantics without the idle transition | |
| 520 | 3 | |a Due to this simplification and by restricting to prefixed integration we can prove soundness and completeness. Furthermore, we will show that equality between process terms is decidable. | |
| 650 | 4 | |a Real-time data processing | |
| 700 | 1 | |a Klusener, A. S. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 92,19 |w (DE-604)BV008928356 |9 92,19 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005955241 | ||
Record in the Search Index
| _version_ | 1804123355897397248 |
|---|---|
| any_adam_object | |
| author | Fokkink, Willem J. 1965- Klusener, A. S. |
| author_GND | (DE-588)121536831 |
| author_facet | Fokkink, Willem J. 1965- Klusener, A. S. |
| author_role | aut aut |
| author_sort | Fokkink, Willem J. 1965- |
| author_variant | w j f wj wjf a s k as ask |
| building | Verbundindex |
| bvnumber | BV009008754 |
| ctrlnum | (OCoLC)28083158 (DE-599)BVBBV009008754 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01956nam a2200313 cb4500</leader><controlfield tag="001">BV009008754</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)28083158</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009008754</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">Fokkink, Willem J.</subfield><subfield code="d">1965-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121536831</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Real time process algebra with prefixed integration</subfield><subfield code="c">W. J. Fokkin g ; A. S. Klusener</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">44 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,19</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Recently J.C.M. Baeten and J.A. Bergstra extended ACP with real time, resulting in a Real Time Process Algebra called ACP[rho] [BB91]. They introduced an equational theory together with an operational semantics which contains the notion of an idle transition, reflecting that a process can do nothing more than passing the time before performing a concrete action at a certain point in time. This idle transition corresponds nicely to our intuition, but it results in uncountably branching transition systems. Their paper does not contain a completeness result nor definitions for detailed proofs. In this paper we give a more abstract operational semantics without the idle transition</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Due to this simplification and by restricting to prefixed integration we can prove soundness and completeness. Furthermore, we will show that equality between process terms is decidable.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Klusener, A. S.</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">92,19</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">92,19</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005955241</subfield></datafield></record></collection> |
| id | DE-604.BV009008754 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:28Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005955241 |
| oclc_num | 28083158 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 44 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Fokkink, Willem J. 1965- Verfasser (DE-588)121536831 aut Real time process algebra with prefixed integration W. J. Fokkin g ; A. S. Klusener Amsterdam 1992 44 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 92,19 Abstract: "Recently J.C.M. Baeten and J.A. Bergstra extended ACP with real time, resulting in a Real Time Process Algebra called ACP[rho] [BB91]. They introduced an equational theory together with an operational semantics which contains the notion of an idle transition, reflecting that a process can do nothing more than passing the time before performing a concrete action at a certain point in time. This idle transition corresponds nicely to our intuition, but it results in uncountably branching transition systems. Their paper does not contain a completeness result nor definitions for detailed proofs. In this paper we give a more abstract operational semantics without the idle transition Due to this simplification and by restricting to prefixed integration we can prove soundness and completeness. Furthermore, we will show that equality between process terms is decidable. Real-time data processing Klusener, A. S. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 92,19 (DE-604)BV008928356 92,19 |
| spellingShingle | Fokkink, Willem J. 1965- Klusener, A. S. Real time process algebra with prefixed integration Real-time data processing |
| title | Real time process algebra with prefixed integration |
| title_auth | Real time process algebra with prefixed integration |
| title_exact_search | Real time process algebra with prefixed integration |
| title_full | Real time process algebra with prefixed integration W. J. Fokkin g ; A. S. Klusener |
| title_fullStr | Real time process algebra with prefixed integration W. J. Fokkin g ; A. S. Klusener |
| title_full_unstemmed | Real time process algebra with prefixed integration W. J. Fokkin g ; A. S. Klusener |
| title_short | Real time process algebra with prefixed integration |
| title_sort | real time process algebra with prefixed integration |
| topic | Real-time data processing |
| topic_facet | Real-time data processing |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT fokkinkwillemj realtimeprocessalgebrawithprefixedintegration AT kluseneras realtimeprocessalgebrawithprefixedintegration |