The space and motion of communicating agents:
The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2009
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (xxi, 191 pages) |
| ISBN: | 9780511626661 |
| DOI: | 10.1017/CBO9780511626661 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043943800 | ||
| 003 | DE-604 | ||
| 005 | 20230227 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2009 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511626661 |c Online |9 978-0-511-62666-1 | ||
| 024 | 7 | |a 10.1017/CBO9780511626661 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511626661 | ||
| 035 | |a (OCoLC)967686596 | ||
| 035 | |a (DE-599)BVBBV043943800 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 514.223 |2 22 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 100 | 1 | |a Milner, R. |d 1934-2010 |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The space and motion of communicating agents |c Robin Milner |
| 246 | 1 | 3 | |a The Space & Motion of Communicating Agents |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2009 | |
| 300 | |a 1 online resource (xxi, 191 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a 1. The idea of bigraphs -- 2. Defining bigraphs -- 3. Algebra for bigraphs -- 4. Relative and minimal bounds -- 5. Bigraphical structure -- 6. Sorting -- 7. Reactions and transitions -- 8. Bigraphical reactive systems -- 9. Behaviour in link graphs -- 10. Behavioural theory for CCS -- 11. Further topics -- 12. Background, development and related work -- App. A. Technical detail -- App. B. Solutions to exercises | |
| 520 | |a The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance | ||
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Communication / Network analysis / Mathematical models | |
| 650 | 4 | |a Telecommunication systems / Mathematical models | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Nets (Mathematics) | |
| 650 | 0 | 7 | |a Kommunikation |0 (DE-588)4031883-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Netzwerk |0 (DE-588)4171529-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Agent |g Informatik |0 (DE-588)4455835-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Agent |g Informatik |0 (DE-588)4455835-1 |D s |
| 689 | 0 | 1 | |a Kommunikation |0 (DE-588)4031883-7 |D s |
| 689 | 0 | 2 | |a Netzwerk |0 (DE-588)4171529-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-49030-6 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-73833-0 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511626661 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029352771 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511626661 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511626661 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176888161107968 |
|---|---|
| any_adam_object | |
| author | Milner, R. 1934-2010 |
| author_facet | Milner, R. 1934-2010 |
| author_role | aut |
| author_sort | Milner, R. 1934-2010 |
| author_variant | r m rm |
| building | Verbundindex |
| bvnumber | BV043943800 |
| classification_rvk | ST 130 ST 230 ST 300 |
| collection | ZDB-20-CBO |
| contents | 1. The idea of bigraphs -- 2. Defining bigraphs -- 3. Algebra for bigraphs -- 4. Relative and minimal bounds -- 5. Bigraphical structure -- 6. Sorting -- 7. Reactions and transitions -- 8. Bigraphical reactive systems -- 9. Behaviour in link graphs -- 10. Behavioural theory for CCS -- 11. Further topics -- 12. Background, development and related work -- App. A. Technical detail -- App. B. Solutions to exercises |
| ctrlnum | (ZDB-20-CBO)CR9780511626661 (OCoLC)967686596 (DE-599)BVBBV043943800 |
| dewey-full | 514.223 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 514 - Topology |
| dewey-raw | 514.223 |
| dewey-search | 514.223 |
| dewey-sort | 3514.223 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1017/CBO9780511626661 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03772nmm a2200601zc 4500</leader><controlfield tag="001">BV043943800</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230227 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2009 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511626661</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-62666-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511626661</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511626661</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967686596</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043943800</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">514.223</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Milner, R.</subfield><subfield code="d">1934-2010</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The space and motion of communicating agents</subfield><subfield code="c">Robin Milner</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">The Space & Motion of Communicating Agents</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxi, 191 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">1. The idea of bigraphs -- 2. Defining bigraphs -- 3. Algebra for bigraphs -- 4. Relative and minimal bounds -- 5. Bigraphical structure -- 6. Sorting -- 7. Reactions and transitions -- 8. Bigraphical reactive systems -- 9. Behaviour in link graphs -- 10. Behavioural theory for CCS -- 11. Further topics -- 12. Background, development and related work -- App. A. Technical detail -- App. B. Solutions to exercises</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communication / Network analysis / Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Telecommunication systems / Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nets (Mathematics)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikation</subfield><subfield code="0">(DE-588)4031883-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Netzwerk</subfield><subfield code="0">(DE-588)4171529-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Agent</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4455835-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Agent</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4455835-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kommunikation</subfield><subfield code="0">(DE-588)4031883-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Netzwerk</subfield><subfield code="0">(DE-588)4171529-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-49030-6</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-73833-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511626661</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029352771</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511626661</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511626661</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043943800 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:20Z |
| institution | BVB |
| isbn | 9780511626661 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029352771 |
| oclc_num | 967686596 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xxi, 191 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Milner, R. 1934-2010 Verfasser aut The space and motion of communicating agents Robin Milner The Space & Motion of Communicating Agents Cambridge Cambridge University Press 2009 1 online resource (xxi, 191 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) 1. The idea of bigraphs -- 2. Defining bigraphs -- 3. Algebra for bigraphs -- 4. Relative and minimal bounds -- 5. Bigraphical structure -- 6. Sorting -- 7. Reactions and transitions -- 8. Bigraphical reactive systems -- 9. Behaviour in link graphs -- 10. Behavioural theory for CCS -- 11. Further topics -- 12. Background, development and related work -- App. A. Technical detail -- App. B. Solutions to exercises The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance Mathematisches Modell Communication / Network analysis / Mathematical models Telecommunication systems / Mathematical models Machine theory Nets (Mathematics) Kommunikation (DE-588)4031883-7 gnd rswk-swf Netzwerk (DE-588)4171529-9 gnd rswk-swf Agent Informatik (DE-588)4455835-1 gnd rswk-swf Agent Informatik (DE-588)4455835-1 s Kommunikation (DE-588)4031883-7 s Netzwerk (DE-588)4171529-9 s 1\p DE-604 Erscheint auch als Druckausgabe 978-0-521-49030-6 Erscheint auch als Druckausgabe 978-0-521-73833-0 https://doi.org/10.1017/CBO9780511626661 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Milner, R. 1934-2010 The space and motion of communicating agents 1. The idea of bigraphs -- 2. Defining bigraphs -- 3. Algebra for bigraphs -- 4. Relative and minimal bounds -- 5. Bigraphical structure -- 6. Sorting -- 7. Reactions and transitions -- 8. Bigraphical reactive systems -- 9. Behaviour in link graphs -- 10. Behavioural theory for CCS -- 11. Further topics -- 12. Background, development and related work -- App. A. Technical detail -- App. B. Solutions to exercises Mathematisches Modell Communication / Network analysis / Mathematical models Telecommunication systems / Mathematical models Machine theory Nets (Mathematics) Kommunikation (DE-588)4031883-7 gnd Netzwerk (DE-588)4171529-9 gnd Agent Informatik (DE-588)4455835-1 gnd |
| subject_GND | (DE-588)4031883-7 (DE-588)4171529-9 (DE-588)4455835-1 |
| title | The space and motion of communicating agents |
| title_alt | The Space & Motion of Communicating Agents |
| title_auth | The space and motion of communicating agents |
| title_exact_search | The space and motion of communicating agents |
| title_full | The space and motion of communicating agents Robin Milner |
| title_fullStr | The space and motion of communicating agents Robin Milner |
| title_full_unstemmed | The space and motion of communicating agents Robin Milner |
| title_short | The space and motion of communicating agents |
| title_sort | the space and motion of communicating agents |
| topic | Mathematisches Modell Communication / Network analysis / Mathematical models Telecommunication systems / Mathematical models Machine theory Nets (Mathematics) Kommunikation (DE-588)4031883-7 gnd Netzwerk (DE-588)4171529-9 gnd Agent Informatik (DE-588)4455835-1 gnd |
| topic_facet | Mathematisches Modell Communication / Network analysis / Mathematical models Telecommunication systems / Mathematical models Machine theory Nets (Mathematics) Kommunikation Netzwerk Agent Informatik |
| url | https://doi.org/10.1017/CBO9780511626661 |
| work_keys_str_mv | AT milnerr thespaceandmotionofcommunicatingagents AT milnerr thespacemotionofcommunicatingagents |