Toward an algebraic theory of systems
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-orde...
Ausführliche Beschreibung
Autor*in: |
Matt, Christian [verfasserIn] |
---|
Format: |
E-Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
2018transfer abstract |
---|
Schlagwörter: |
---|
Umfang: |
25 |
---|
Übergeordnetes Werk: |
Enthalten in: Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries - Schweiss, Rüdiger ELSEVIER, 2015transfer abstract, the journal of the EATCS, Amsterdam [u.a.] |
---|---|
Übergeordnetes Werk: |
volume:747 ; year:2018 ; day:7 ; month:11 ; pages:1-25 ; extent:25 |
Links: |
---|
DOI / URN: |
10.1016/j.tcs.2018.06.001 |
---|
Katalog-ID: |
ELV044132336 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | ELV044132336 | ||
003 | DE-627 | ||
005 | 20230626004653.0 | ||
007 | cr uuu---uuuuu | ||
008 | 181113s2018 xx |||||o 00| ||eng c | ||
024 | 7 | |a 10.1016/j.tcs.2018.06.001 |2 doi | |
028 | 5 | 2 | |a GBV00000000000366.pica |
035 | |a (DE-627)ELV044132336 | ||
035 | |a (ELSEVIER)S0304-3975(18)30409-2 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | 4 | |a 620 |q VZ |
082 | 0 | 4 | |a 690 |q VZ |
084 | |a 50.92 |2 bkl | ||
100 | 1 | |a Matt, Christian |e verfasserin |4 aut | |
245 | 1 | 0 | |a Toward an algebraic theory of systems |
264 | 1 | |c 2018transfer abstract | |
300 | |a 25 | ||
336 | |a nicht spezifiziert |b zzz |2 rdacontent | ||
337 | |a nicht spezifiziert |b z |2 rdamedia | ||
338 | |a nicht spezifiziert |b zu |2 rdacarrier | ||
520 | |a We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. | ||
520 | |a We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. | ||
650 | 7 | |a Composition |2 Elsevier | |
650 | 7 | |a Order invariance |2 Elsevier | |
650 | 7 | |a Fixed points |2 Elsevier | |
650 | 7 | |a Abstraction |2 Elsevier | |
650 | 7 | |a Causality |2 Elsevier | |
650 | 7 | |a Systems |2 Elsevier | |
700 | 1 | |a Maurer, Ueli |4 oth | |
700 | 1 | |a Portmann, Christopher |4 oth | |
700 | 1 | |a Renner, Renato |4 oth | |
700 | 1 | |a Tackmann, Björn |4 oth | |
773 | 0 | 8 | |i Enthalten in |n Elsevier |a Schweiss, Rüdiger ELSEVIER |t Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries |d 2015transfer abstract |d the journal of the EATCS |g Amsterdam [u.a.] |w (DE-627)ELV013125583 |
773 | 1 | 8 | |g volume:747 |g year:2018 |g day:7 |g month:11 |g pages:1-25 |g extent:25 |
856 | 4 | 0 | |u https://doi.org/10.1016/j.tcs.2018.06.001 |3 Volltext |
912 | |a GBV_USEFLAG_U | ||
912 | |a GBV_ELV | ||
912 | |a SYSFLAG_U | ||
912 | |a GBV_ILN_22 | ||
912 | |a GBV_ILN_40 | ||
936 | b | k | |a 50.92 |j Meerestechnik |q VZ |
951 | |a AR | ||
952 | |d 747 |j 2018 |b 7 |c 1107 |h 1-25 |g 25 |
author_variant |
c m cm |
---|---|
matchkey_str |
mattchristianmaurerueliportmannchristoph:2018----:oadnleritero |
hierarchy_sort_str |
2018transfer abstract |
bklnumber |
50.92 |
publishDate |
2018 |
allfields |
10.1016/j.tcs.2018.06.001 doi GBV00000000000366.pica (DE-627)ELV044132336 (ELSEVIER)S0304-3975(18)30409-2 DE-627 ger DE-627 rakwb eng 620 VZ 690 VZ 50.92 bkl Matt, Christian verfasserin aut Toward an algebraic theory of systems 2018transfer abstract 25 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems Elsevier Maurer, Ueli oth Portmann, Christopher oth Renner, Renato oth Tackmann, Björn oth Enthalten in Elsevier Schweiss, Rüdiger ELSEVIER Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries 2015transfer abstract the journal of the EATCS Amsterdam [u.a.] (DE-627)ELV013125583 volume:747 year:2018 day:7 month:11 pages:1-25 extent:25 https://doi.org/10.1016/j.tcs.2018.06.001 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_22 GBV_ILN_40 50.92 Meerestechnik VZ AR 747 2018 7 1107 1-25 25 |
spelling |
10.1016/j.tcs.2018.06.001 doi GBV00000000000366.pica (DE-627)ELV044132336 (ELSEVIER)S0304-3975(18)30409-2 DE-627 ger DE-627 rakwb eng 620 VZ 690 VZ 50.92 bkl Matt, Christian verfasserin aut Toward an algebraic theory of systems 2018transfer abstract 25 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems Elsevier Maurer, Ueli oth Portmann, Christopher oth Renner, Renato oth Tackmann, Björn oth Enthalten in Elsevier Schweiss, Rüdiger ELSEVIER Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries 2015transfer abstract the journal of the EATCS Amsterdam [u.a.] (DE-627)ELV013125583 volume:747 year:2018 day:7 month:11 pages:1-25 extent:25 https://doi.org/10.1016/j.tcs.2018.06.001 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_22 GBV_ILN_40 50.92 Meerestechnik VZ AR 747 2018 7 1107 1-25 25 |
allfields_unstemmed |
10.1016/j.tcs.2018.06.001 doi GBV00000000000366.pica (DE-627)ELV044132336 (ELSEVIER)S0304-3975(18)30409-2 DE-627 ger DE-627 rakwb eng 620 VZ 690 VZ 50.92 bkl Matt, Christian verfasserin aut Toward an algebraic theory of systems 2018transfer abstract 25 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems Elsevier Maurer, Ueli oth Portmann, Christopher oth Renner, Renato oth Tackmann, Björn oth Enthalten in Elsevier Schweiss, Rüdiger ELSEVIER Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries 2015transfer abstract the journal of the EATCS Amsterdam [u.a.] (DE-627)ELV013125583 volume:747 year:2018 day:7 month:11 pages:1-25 extent:25 https://doi.org/10.1016/j.tcs.2018.06.001 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_22 GBV_ILN_40 50.92 Meerestechnik VZ AR 747 2018 7 1107 1-25 25 |
allfieldsGer |
10.1016/j.tcs.2018.06.001 doi GBV00000000000366.pica (DE-627)ELV044132336 (ELSEVIER)S0304-3975(18)30409-2 DE-627 ger DE-627 rakwb eng 620 VZ 690 VZ 50.92 bkl Matt, Christian verfasserin aut Toward an algebraic theory of systems 2018transfer abstract 25 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems Elsevier Maurer, Ueli oth Portmann, Christopher oth Renner, Renato oth Tackmann, Björn oth Enthalten in Elsevier Schweiss, Rüdiger ELSEVIER Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries 2015transfer abstract the journal of the EATCS Amsterdam [u.a.] (DE-627)ELV013125583 volume:747 year:2018 day:7 month:11 pages:1-25 extent:25 https://doi.org/10.1016/j.tcs.2018.06.001 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_22 GBV_ILN_40 50.92 Meerestechnik VZ AR 747 2018 7 1107 1-25 25 |
allfieldsSound |
10.1016/j.tcs.2018.06.001 doi GBV00000000000366.pica (DE-627)ELV044132336 (ELSEVIER)S0304-3975(18)30409-2 DE-627 ger DE-627 rakwb eng 620 VZ 690 VZ 50.92 bkl Matt, Christian verfasserin aut Toward an algebraic theory of systems 2018transfer abstract 25 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems Elsevier Maurer, Ueli oth Portmann, Christopher oth Renner, Renato oth Tackmann, Björn oth Enthalten in Elsevier Schweiss, Rüdiger ELSEVIER Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries 2015transfer abstract the journal of the EATCS Amsterdam [u.a.] (DE-627)ELV013125583 volume:747 year:2018 day:7 month:11 pages:1-25 extent:25 https://doi.org/10.1016/j.tcs.2018.06.001 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_22 GBV_ILN_40 50.92 Meerestechnik VZ AR 747 2018 7 1107 1-25 25 |
language |
English |
source |
Enthalten in Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries Amsterdam [u.a.] volume:747 year:2018 day:7 month:11 pages:1-25 extent:25 |
sourceStr |
Enthalten in Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries Amsterdam [u.a.] volume:747 year:2018 day:7 month:11 pages:1-25 extent:25 |
format_phy_str_mv |
Article |
bklname |
Meerestechnik |
institution |
findex.gbv.de |
topic_facet |
Composition Order invariance Fixed points Abstraction Causality Systems |
dewey-raw |
620 |
isfreeaccess_bool |
false |
container_title |
Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries |
authorswithroles_txt_mv |
Matt, Christian @@aut@@ Maurer, Ueli @@oth@@ Portmann, Christopher @@oth@@ Renner, Renato @@oth@@ Tackmann, Björn @@oth@@ |
publishDateDaySort_date |
2018-01-07T00:00:00Z |
hierarchy_top_id |
ELV013125583 |
dewey-sort |
3620 |
id |
ELV044132336 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">ELV044132336</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230626004653.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">181113s2018 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.tcs.2018.06.001</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">GBV00000000000366.pica</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV044132336</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S0304-3975(18)30409-2</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">690</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">50.92</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Matt, Christian</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Toward an algebraic theory of systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2018transfer abstract</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Composition</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Order invariance</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fixed points</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Abstraction</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Causality</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systems</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maurer, Ueli</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Portmann, Christopher</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Renner, Renato</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tackmann, Björn</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="n">Elsevier</subfield><subfield code="a">Schweiss, Rüdiger ELSEVIER</subfield><subfield code="t">Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries</subfield><subfield code="d">2015transfer abstract</subfield><subfield code="d">the journal of the EATCS</subfield><subfield code="g">Amsterdam [u.a.]</subfield><subfield code="w">(DE-627)ELV013125583</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:747</subfield><subfield code="g">year:2018</subfield><subfield code="g">day:7</subfield><subfield code="g">month:11</subfield><subfield code="g">pages:1-25</subfield><subfield code="g">extent:25</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/j.tcs.2018.06.001</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">50.92</subfield><subfield code="j">Meerestechnik</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">747</subfield><subfield code="j">2018</subfield><subfield code="b">7</subfield><subfield code="c">1107</subfield><subfield code="h">1-25</subfield><subfield code="g">25</subfield></datafield></record></collection>
|
author |
Matt, Christian |
spellingShingle |
Matt, Christian ddc 620 ddc 690 bkl 50.92 Elsevier Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems Toward an algebraic theory of systems |
authorStr |
Matt, Christian |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)ELV013125583 |
format |
electronic Article |
dewey-ones |
620 - Engineering & allied operations 690 - Buildings |
delete_txt_mv |
keep |
author_role |
aut |
collection |
elsevier |
remote_str |
true |
illustrated |
Not Illustrated |
topic_title |
620 VZ 690 VZ 50.92 bkl Toward an algebraic theory of systems Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems Elsevier |
topic |
ddc 620 ddc 690 bkl 50.92 Elsevier Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems |
topic_unstemmed |
ddc 620 ddc 690 bkl 50.92 Elsevier Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems |
topic_browse |
ddc 620 ddc 690 bkl 50.92 Elsevier Composition Elsevier Order invariance Elsevier Fixed points Elsevier Abstraction Elsevier Causality Elsevier Systems |
format_facet |
Elektronische Aufsätze Aufsätze Elektronische Ressource |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
zu |
author2_variant |
u m um c p cp r r rr b t bt |
hierarchy_parent_title |
Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries |
hierarchy_parent_id |
ELV013125583 |
dewey-tens |
620 - Engineering 690 - Building & construction |
hierarchy_top_title |
Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)ELV013125583 |
title |
Toward an algebraic theory of systems |
ctrlnum |
(DE-627)ELV044132336 (ELSEVIER)S0304-3975(18)30409-2 |
title_full |
Toward an algebraic theory of systems |
author_sort |
Matt, Christian |
journal |
Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries |
journalStr |
Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
600 - Technology |
recordtype |
marc |
publishDateSort |
2018 |
contenttype_str_mv |
zzz |
container_start_page |
1 |
author_browse |
Matt, Christian |
container_volume |
747 |
physical |
25 |
class |
620 VZ 690 VZ 50.92 bkl |
format_se |
Elektronische Aufsätze |
author-letter |
Matt, Christian |
doi_str_mv |
10.1016/j.tcs.2018.06.001 |
dewey-full |
620 690 |
title_sort |
toward an algebraic theory of systems |
title_auth |
Toward an algebraic theory of systems |
abstract |
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. |
abstractGer |
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. |
abstract_unstemmed |
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems. |
collection_details |
GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_22 GBV_ILN_40 |
title_short |
Toward an algebraic theory of systems |
url |
https://doi.org/10.1016/j.tcs.2018.06.001 |
remote_bool |
true |
author2 |
Maurer, Ueli Portmann, Christopher Renner, Renato Tackmann, Björn |
author2Str |
Maurer, Ueli Portmann, Christopher Renner, Renato Tackmann, Björn |
ppnlink |
ELV013125583 |
mediatype_str_mv |
z |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth oth oth oth |
doi_str |
10.1016/j.tcs.2018.06.001 |
up_date |
2024-07-06T20:40:16.553Z |
_version_ |
1803863632435478528 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">ELV044132336</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230626004653.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">181113s2018 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.tcs.2018.06.001</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">GBV00000000000366.pica</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV044132336</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S0304-3975(18)30409-2</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">690</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">50.92</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Matt, Christian</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Toward an algebraic theory of systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2018transfer abstract</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. This may include physical systems, electronic circuits, or interacting distributed systems.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Composition</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Order invariance</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fixed points</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Abstraction</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Causality</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systems</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maurer, Ueli</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Portmann, Christopher</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Renner, Renato</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tackmann, Björn</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="n">Elsevier</subfield><subfield code="a">Schweiss, Rüdiger ELSEVIER</subfield><subfield code="t">Influence of bulk fibre properties of PAN-based carbon felts on their performance in vanadium redox flow batteries</subfield><subfield code="d">2015transfer abstract</subfield><subfield code="d">the journal of the EATCS</subfield><subfield code="g">Amsterdam [u.a.]</subfield><subfield code="w">(DE-627)ELV013125583</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:747</subfield><subfield code="g">year:2018</subfield><subfield code="g">day:7</subfield><subfield code="g">month:11</subfield><subfield code="g">pages:1-25</subfield><subfield code="g">extent:25</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/j.tcs.2018.06.001</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">50.92</subfield><subfield code="j">Meerestechnik</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">747</subfield><subfield code="j">2018</subfield><subfield code="b">7</subfield><subfield code="c">1107</subfield><subfield code="h">1-25</subfield><subfield code="g">25</subfield></datafield></record></collection>
|
score |
7.398053 |