Process algebra with signals and conditions:
Abstract: "Several new operators are introduced on top of the algebra of communicating processes (ACP) from [BK 84] in order to incorporate stable signals in process algebra. Semantically this involves assigning labels to nodes of process graphs in addition to the actions that serve as labels o...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1991
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
91,3 |
| Subjects: | |
| Summary: | Abstract: "Several new operators are introduced on top of the algebra of communicating processes (ACP) from [BK 84] in order to incorporate stable signals in process algebra. Semantically this involves assigning labels to nodes of process graphs in addition to the actions that serve as labels of edges. The labels of nodes are called signals. In combination with the operators of BPA, two signal insertion operators allow to describe each finite tree labeled with actions and signals. In the context of parallel processes there is a new feature connected with signals: the signal observation mechanism This mechanism is organised on basis of a signal observation function in very much the same way as the communication mechanism of ACP is organised around a communication function. Also, we discuss conditionals on signals and processes, and make much use of them in our examples. |
| Physical Description: | 42 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009224561 | ||
| 003 | DE-604 | ||
| 005 | 19960108 | ||
| 007 | t | ||
| 008 | 940313s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)24807006 | ||
| 035 | |a (DE-599)BVBBV009224561 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Baeten, Josephus C. M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Process algebra with signals and conditions |c J. C. M. Baeten ; J. A. Bergstra |
| 264 | 1 | |a Amsterdam |c 1991 | |
| 300 | |a 42 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 91,3 | |
| 520 | 3 | |a Abstract: "Several new operators are introduced on top of the algebra of communicating processes (ACP) from [BK 84] in order to incorporate stable signals in process algebra. Semantically this involves assigning labels to nodes of process graphs in addition to the actions that serve as labels of edges. The labels of nodes are called signals. In combination with the operators of BPA, two signal insertion operators allow to describe each finite tree labeled with actions and signals. In the context of parallel processes there is a new feature connected with signals: the signal observation mechanism | |
| 520 | 3 | |a This mechanism is organised on basis of a signal observation function in very much the same way as the communication mechanism of ACP is organised around a communication function. Also, we discuss conditionals on signals and processes, and make much use of them in our examples. | |
| 650 | 4 | |a Operator algebras | |
| 650 | 4 | |a Operator theory | |
| 700 | 1 | |a Bergstra, Jan A. |d 1951- |e Verfasser |0 (DE-588)123304881 |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 91,3 |w (DE-604)BV008928356 |9 91,3 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006133797 | ||
Record in the Search Index
| _version_ | 1804123667624361984 |
|---|---|
| any_adam_object | |
| author | Baeten, Josephus C. M. Bergstra, Jan A. 1951- |
| author_GND | (DE-588)123304881 |
| author_facet | Baeten, Josephus C. M. Bergstra, Jan A. 1951- |
| author_role | aut aut |
| author_sort | Baeten, Josephus C. M. |
| author_variant | j c m b jcm jcmb j a b ja jab |
| building | Verbundindex |
| bvnumber | BV009224561 |
| ctrlnum | (OCoLC)24807006 (DE-599)BVBBV009224561 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01973nam a2200325 cb4500</leader><controlfield tag="001">BV009224561</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960108 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24807006</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009224561</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">Baeten, Josephus C. M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Process algebra with signals and conditions</subfield><subfield code="c">J. C. M. Baeten ; J. A. Bergstra</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">42 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">91,3</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Several new operators are introduced on top of the algebra of communicating processes (ACP) from [BK 84] in order to incorporate stable signals in process algebra. Semantically this involves assigning labels to nodes of process graphs in addition to the actions that serve as labels of edges. The labels of nodes are called signals. In combination with the operators of BPA, two signal insertion operators allow to describe each finite tree labeled with actions and signals. In the context of parallel processes there is a new feature connected with signals: the signal observation mechanism</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This mechanism is organised on basis of a signal observation function in very much the same way as the communication mechanism of ACP is organised around a communication function. Also, we discuss conditionals on signals and processes, and make much use of them in our examples.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operator algebras</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operator theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bergstra, Jan A.</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123304881</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">91,3</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">91,3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006133797</subfield></datafield></record></collection> |
| id | DE-604.BV009224561 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:25Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006133797 |
| oclc_num | 24807006 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 42 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Baeten, Josephus C. M. Verfasser aut Process algebra with signals and conditions J. C. M. Baeten ; J. A. Bergstra Amsterdam 1991 42 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 91,3 Abstract: "Several new operators are introduced on top of the algebra of communicating processes (ACP) from [BK 84] in order to incorporate stable signals in process algebra. Semantically this involves assigning labels to nodes of process graphs in addition to the actions that serve as labels of edges. The labels of nodes are called signals. In combination with the operators of BPA, two signal insertion operators allow to describe each finite tree labeled with actions and signals. In the context of parallel processes there is a new feature connected with signals: the signal observation mechanism This mechanism is organised on basis of a signal observation function in very much the same way as the communication mechanism of ACP is organised around a communication function. Also, we discuss conditionals on signals and processes, and make much use of them in our examples. Operator algebras Operator theory Bergstra, Jan A. 1951- Verfasser (DE-588)123304881 aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 91,3 (DE-604)BV008928356 91,3 |
| spellingShingle | Baeten, Josephus C. M. Bergstra, Jan A. 1951- Process algebra with signals and conditions Operator algebras Operator theory |
| title | Process algebra with signals and conditions |
| title_auth | Process algebra with signals and conditions |
| title_exact_search | Process algebra with signals and conditions |
| title_full | Process algebra with signals and conditions J. C. M. Baeten ; J. A. Bergstra |
| title_fullStr | Process algebra with signals and conditions J. C. M. Baeten ; J. A. Bergstra |
| title_full_unstemmed | Process algebra with signals and conditions J. C. M. Baeten ; J. A. Bergstra |
| title_short | Process algebra with signals and conditions |
| title_sort | process algebra with signals and conditions |
| topic | Operator algebras Operator theory |
| topic_facet | Operator algebras Operator theory |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT baetenjosephuscm processalgebrawithsignalsandconditions AT bergstrajana processalgebrawithsignalsandconditions |