Asynchronous communication in process algebra: (extended abstract)
Abstract: "We study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism which is present in process algebra frameworks such as CCS, CSP and ACP. We investigate semantics and axiomatizations with respect to various observability criteria...
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,6 |
| Subjects: | |
| Summary: | Abstract: "We study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism which is present in process algebra frameworks such as CCS, CSP and ACP. We investigate semantics and axiomatizations with respect to various observability criteria: bisimulation, traces and abstract traces. Our aim is to develop a process theory which can be regarded as a kernel for languages based on asynchronous communication, like data flow, concurrent logic languages and concurrent constraint programming." |
| Physical Description: | 20 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008993649 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)27638368 | ||
| 035 | |a (DE-599)BVBBV008993649 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Boer, Frank S. de |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Asynchronous communication in process algebra |b (extended abstract) |c F. S. de Boer ; J. W. Klop ; C. Palamidessi |
| 264 | 1 | |a Amsterdam |c 1992 | |
| 300 | |a 20 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,6 | |
| 520 | 3 | |a Abstract: "We study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism which is present in process algebra frameworks such as CCS, CSP and ACP. We investigate semantics and axiomatizations with respect to various observability criteria: bisimulation, traces and abstract traces. Our aim is to develop a process theory which can be regarded as a kernel for languages based on asynchronous communication, like data flow, concurrent logic languages and concurrent constraint programming." | |
| 650 | 4 | |a Concurrent programming | |
| 650 | 4 | |a Garbage collection (Computer science) | |
| 700 | 1 | |a Klop, Jan Willem |d 1945- |e Verfasser |0 (DE-588)130644498 |4 aut | |
| 700 | 1 | |a Palamidessi, Catuscia |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 92,6 |w (DE-604)BV008928356 |9 92,6 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005942383 | ||
Record in the Search Index
| _version_ | 1804123336211431424 |
|---|---|
| any_adam_object | |
| author | Boer, Frank S. de Klop, Jan Willem 1945- Palamidessi, Catuscia |
| author_GND | (DE-588)130644498 |
| author_facet | Boer, Frank S. de Klop, Jan Willem 1945- Palamidessi, Catuscia |
| author_role | aut aut aut |
| author_sort | Boer, Frank S. de |
| author_variant | f s d b fsd fsdb j w k jw jwk c p cp |
| building | Verbundindex |
| bvnumber | BV008993649 |
| ctrlnum | (OCoLC)27638368 (DE-599)BVBBV008993649 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01731nam a2200325 cb4500</leader><controlfield tag="001">BV008993649</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)27638368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008993649</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">Boer, Frank S. de</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Asynchronous communication in process algebra</subfield><subfield code="b">(extended abstract)</subfield><subfield code="c">F. S. de Boer ; J. W. Klop ; C. Palamidessi</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">20 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,6</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism which is present in process algebra frameworks such as CCS, CSP and ACP. We investigate semantics and axiomatizations with respect to various observability criteria: bisimulation, traces and abstract traces. Our aim is to develop a process theory which can be regarded as a kernel for languages based on asynchronous communication, like data flow, concurrent logic languages and concurrent constraint programming."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Concurrent programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Garbage collection (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Klop, Jan Willem</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130644498</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Palamidessi, Catuscia</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,6</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">92,6</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005942383</subfield></datafield></record></collection> |
| id | DE-604.BV008993649 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:09Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005942383 |
| oclc_num | 27638368 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 20 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Boer, Frank S. de Verfasser aut Asynchronous communication in process algebra (extended abstract) F. S. de Boer ; J. W. Klop ; C. Palamidessi Amsterdam 1992 20 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 92,6 Abstract: "We study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism which is present in process algebra frameworks such as CCS, CSP and ACP. We investigate semantics and axiomatizations with respect to various observability criteria: bisimulation, traces and abstract traces. Our aim is to develop a process theory which can be regarded as a kernel for languages based on asynchronous communication, like data flow, concurrent logic languages and concurrent constraint programming." Concurrent programming Garbage collection (Computer science) Klop, Jan Willem 1945- Verfasser (DE-588)130644498 aut Palamidessi, Catuscia Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 92,6 (DE-604)BV008928356 92,6 |
| spellingShingle | Boer, Frank S. de Klop, Jan Willem 1945- Palamidessi, Catuscia Asynchronous communication in process algebra (extended abstract) Concurrent programming Garbage collection (Computer science) |
| title | Asynchronous communication in process algebra (extended abstract) |
| title_auth | Asynchronous communication in process algebra (extended abstract) |
| title_exact_search | Asynchronous communication in process algebra (extended abstract) |
| title_full | Asynchronous communication in process algebra (extended abstract) F. S. de Boer ; J. W. Klop ; C. Palamidessi |
| title_fullStr | Asynchronous communication in process algebra (extended abstract) F. S. de Boer ; J. W. Klop ; C. Palamidessi |
| title_full_unstemmed | Asynchronous communication in process algebra (extended abstract) F. S. de Boer ; J. W. Klop ; C. Palamidessi |
| title_short | Asynchronous communication in process algebra |
| title_sort | asynchronous communication in process algebra extended abstract |
| title_sub | (extended abstract) |
| topic | Concurrent programming Garbage collection (Computer science) |
| topic_facet | Concurrent programming Garbage collection (Computer science) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT boerfranksde asynchronouscommunicationinprocessalgebraextendedabstract AT klopjanwillem asynchronouscommunicationinprocessalgebraextendedabstract AT palamidessicatuscia asynchronouscommunicationinprocessalgebraextendedabstract |