Action structures:
Abstract: "Action structures are proposed as a variety of algebra to underlie concrete models of concurrency and interaction. An action structure is equipped with composition and product of actions, together with two other ingredients: an indexed family of abstractors to allow parametrisation o...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series
249 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Action structures are proposed as a variety of algebra to underlie concrete models of concurrency and interaction. An action structure is equipped with composition and product of actions, together with two other ingredients: an indexed family of abstractors to allow parametrisation of actions, and a reaction relation to represent activity. The eight axioms of an action structure make it an enriched strict monoidal category; however, the work is presented algebraically rather than in category theory. The notion of action structure is developed mathematically, and examples are studied ranging from the evaluation of expressions to the statics and dynamics of Petri nets For algebraic process calculi in particular, it is shown how they may be defined by a uniform superposition of process structure upon an action structure specific to each calculus. This allows a common treatment of bisimulation congruence. The theory of action structures emphasizes the notion of effect; that is, the effect which any interaction among processes exerts upon its participants. Effects are degenerate actions, and constitute a sub-actionstructure with special properties which support the general treatment of bisimulation. Other current work on action structures is outlined, in particular their use for the [pi]-calculus. Challenges are posed for the algebraic theory, including the study of combinations of action structures Action structures are briefly compared with some other general models. |
| Beschreibung: | 47 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009691360 | ||
| 003 | DE-604 | ||
| 005 | 19961025 | ||
| 007 | t | ||
| 008 | 940707s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)28491252 | ||
| 035 | |a (DE-599)BVBBV009691360 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 084 | |a DAT 510f |2 stub | ||
| 100 | 1 | |a Milner, Robin |d 1934-2010 |e Verfasser |0 (DE-588)128466081 |4 aut | |
| 245 | 1 | 0 | |a Action structures |c Robin Milner |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 47 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |v 249 | |
| 520 | 3 | |a Abstract: "Action structures are proposed as a variety of algebra to underlie concrete models of concurrency and interaction. An action structure is equipped with composition and product of actions, together with two other ingredients: an indexed family of abstractors to allow parametrisation of actions, and a reaction relation to represent activity. The eight axioms of an action structure make it an enriched strict monoidal category; however, the work is presented algebraically rather than in category theory. The notion of action structure is developed mathematically, and examples are studied ranging from the evaluation of expressions to the statics and dynamics of Petri nets | |
| 520 | 3 | |a For algebraic process calculi in particular, it is shown how they may be defined by a uniform superposition of process structure upon an action structure specific to each calculus. This allows a common treatment of bisimulation congruence. The theory of action structures emphasizes the notion of effect; that is, the effect which any interaction among processes exerts upon its participants. Effects are degenerate actions, and constitute a sub-actionstructure with special properties which support the general treatment of bisimulation. Other current work on action structures is outlined, in particular their use for the [pi]-calculus. Challenges are posed for the algebraic theory, including the study of combinations of action structures | |
| 520 | 3 | |a Action structures are briefly compared with some other general models. | |
| 650 | 7 | |a Applied statistics, operational research |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Petri nets | |
| 830 | 0 | |a Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |v 249 |w (DE-604)BV008930032 |9 249 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006409223 | ||
Datensatz im Suchindex
| _version_ | 1804124036414832640 |
|---|---|
| any_adam_object | |
| author | Milner, Robin 1934-2010 |
| author_GND | (DE-588)128466081 |
| author_facet | Milner, Robin 1934-2010 |
| author_role | aut |
| author_sort | Milner, Robin 1934-2010 |
| author_variant | r m rm |
| building | Verbundindex |
| bvnumber | BV009691360 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)28491252 (DE-599)BVBBV009691360 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02551nam a2200337 cb4500</leader><controlfield tag="001">BV009691360</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961025 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940707s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28491252</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009691360</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="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Milner, Robin</subfield><subfield code="d">1934-2010</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128466081</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Action structures</subfield><subfield code="c">Robin Milner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">47 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">Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series</subfield><subfield code="v">249</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Action structures are proposed as a variety of algebra to underlie concrete models of concurrency and interaction. An action structure is equipped with composition and product of actions, together with two other ingredients: an indexed family of abstractors to allow parametrisation of actions, and a reaction relation to represent activity. The eight axioms of an action structure make it an enriched strict monoidal category; however, the work is presented algebraically rather than in category theory. The notion of action structure is developed mathematically, and examples are studied ranging from the evaluation of expressions to the statics and dynamics of Petri nets</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">For algebraic process calculi in particular, it is shown how they may be defined by a uniform superposition of process structure upon an action structure specific to each calculus. This allows a common treatment of bisimulation congruence. The theory of action structures emphasizes the notion of effect; that is, the effect which any interaction among processes exerts upon its participants. Effects are degenerate actions, and constitute a sub-actionstructure with special properties which support the general treatment of bisimulation. Other current work on action structures is outlined, in particular their use for the [pi]-calculus. Challenges are posed for the algebraic theory, including the study of combinations of action structures</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Action structures are briefly compared with some other general models.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Applied statistics, operational research</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series</subfield><subfield code="v">249</subfield><subfield code="w">(DE-604)BV008930032</subfield><subfield code="9">249</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006409223</subfield></datafield></record></collection> |
| id | DE-604.BV009691360 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:39:17Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006409223 |
| oclc_num | 28491252 |
| open_access_boolean | |
| physical | 47 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |
| series2 | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |
| spelling | Milner, Robin 1934-2010 Verfasser (DE-588)128466081 aut Action structures Robin Milner Edinburgh 1992 47 S. txt rdacontent n rdamedia nc rdacarrier Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 249 Abstract: "Action structures are proposed as a variety of algebra to underlie concrete models of concurrency and interaction. An action structure is equipped with composition and product of actions, together with two other ingredients: an indexed family of abstractors to allow parametrisation of actions, and a reaction relation to represent activity. The eight axioms of an action structure make it an enriched strict monoidal category; however, the work is presented algebraically rather than in category theory. The notion of action structure is developed mathematically, and examples are studied ranging from the evaluation of expressions to the statics and dynamics of Petri nets For algebraic process calculi in particular, it is shown how they may be defined by a uniform superposition of process structure upon an action structure specific to each calculus. This allows a common treatment of bisimulation congruence. The theory of action structures emphasizes the notion of effect; that is, the effect which any interaction among processes exerts upon its participants. Effects are degenerate actions, and constitute a sub-actionstructure with special properties which support the general treatment of bisimulation. Other current work on action structures is outlined, in particular their use for the [pi]-calculus. Challenges are posed for the algebraic theory, including the study of combinations of action structures Action structures are briefly compared with some other general models. Applied statistics, operational research sigle Computer software sigle Petri nets Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 249 (DE-604)BV008930032 249 |
| spellingShingle | Milner, Robin 1934-2010 Action structures Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series Applied statistics, operational research sigle Computer software sigle Petri nets |
| title | Action structures |
| title_auth | Action structures |
| title_exact_search | Action structures |
| title_full | Action structures Robin Milner |
| title_fullStr | Action structures Robin Milner |
| title_full_unstemmed | Action structures Robin Milner |
| title_short | Action structures |
| title_sort | action structures |
| topic | Applied statistics, operational research sigle Computer software sigle Petri nets |
| topic_facet | Applied statistics, operational research Computer software Petri nets |
| volume_link | (DE-604)BV008930032 |
| work_keys_str_mv | AT milnerrobin actionstructures |