The semantics and verification of timed service choreography

Gespeichert in:

Autor*in:	Zhao, Yongxin [verfasserIn] Xiao, Hao Wang, Zheng Pu, Geguang Su, Ting

Format:	Artikel

Erschienen:	2014

Umfang:	19

Übergeordnetes Werk:	Enthalten in: International journal of computer mathematics - London [u.a.] : Gordon and Breach, 1964, 91(2014), 3 vom: 4. März, Seite 384-402
Übergeordnetes Werk:	volume:91 ; year:2014 ; number:3 ; day:4 ; month:03 ; pages:384-402 ; extent:19

Katalog-ID:	OLC1945597895

Internformat


LEADER	01000caa a22002652 4500
001	OLC1945597895
003	DE-627
005	20220217055731.0
007	tu
008	140616s2014 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a sw140614_1
035			\|a (DE-627)OLC1945597895
035			\|a (DE-599)GBVOLC1945597895
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
082	0	4	\|a 510 \|a 000
084			\|a 31.76 \|2 bkl
084			\|a 54.10 \|2 bkl
084			\|a 54.70 \|2 bkl
100	1		\|a Zhao, Yongxin \|e verfasserin \|4 aut
245	1	4	\|a The semantics and verification of timed service choreography
264		1	\|c 2014
300			\|a 19
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
700	1		\|a Xiao, Hao \|4 oth
700	1		\|a Wang, Zheng \|4 oth
700	1		\|a Pu, Geguang \|4 oth
700	1		\|a Su, Ting \|4 oth
773	0	8	\|i Enthalten in \|t International journal of computer mathematics \|d London [u.a.] : Gordon and Breach, 1964 \|g 91(2014), 3 vom: 4. März, Seite 384-402 \|w (DE-627)129358711 \|w (DE-600)160460-0 \|w (DE-576)014731010 \|x 0020-7160 \|7 nnns
773	1	8	\|g volume:91 \|g year:2014 \|g number:3 \|g day:4 \|g month:03 \|g pages:384-402 \|g extent:19
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a SSG-OLC-MAT
912			\|a SSG-OPC-MAT
912			\|a GBV_ILN_70
912			\|a GBV_ILN_4318
936	b	k	\|a 31.76 \|q AVZ
936	b	k	\|a 54.10 \|q AVZ
936	b	k	\|a 54.70 \|q AVZ
951			\|a AR
952			\|d 91 \|j 2014 \|e 3 \|b 4 \|c 3 \|h 384-402 \|g 19

Indexfelder

author_variant	y z yz
matchkey_str	article:00207160:2014----::hsmnisnvrfctootmdev
hierarchy_sort_str	2014
bklnumber	31.76 54.10 54.70
publishDate	2014
allfields	sw140614_1 (DE-627)OLC1945597895 (DE-599)GBVOLC1945597895 DE-627 ger DE-627 rakwb 510 000 31.76 bkl 54.10 bkl 54.70 bkl Zhao, Yongxin verfasserin aut The semantics and verification of timed service choreography 2014 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Xiao, Hao oth Wang, Zheng oth Pu, Geguang oth Su, Ting oth Enthalten in International journal of computer mathematics London [u.a.] : Gordon and Breach, 1964 91(2014), 3 vom: 4. März, Seite 384-402 (DE-627)129358711 (DE-600)160460-0 (DE-576)014731010 0020-7160 nnns volume:91 year:2014 number:3 day:4 month:03 pages:384-402 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4318 31.76 AVZ 54.10 AVZ 54.70 AVZ AR 91 2014 3 4 3 384-402 19
spelling	sw140614_1 (DE-627)OLC1945597895 (DE-599)GBVOLC1945597895 DE-627 ger DE-627 rakwb 510 000 31.76 bkl 54.10 bkl 54.70 bkl Zhao, Yongxin verfasserin aut The semantics and verification of timed service choreography 2014 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Xiao, Hao oth Wang, Zheng oth Pu, Geguang oth Su, Ting oth Enthalten in International journal of computer mathematics London [u.a.] : Gordon and Breach, 1964 91(2014), 3 vom: 4. März, Seite 384-402 (DE-627)129358711 (DE-600)160460-0 (DE-576)014731010 0020-7160 nnns volume:91 year:2014 number:3 day:4 month:03 pages:384-402 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4318 31.76 AVZ 54.10 AVZ 54.70 AVZ AR 91 2014 3 4 3 384-402 19
allfields_unstemmed	sw140614_1 (DE-627)OLC1945597895 (DE-599)GBVOLC1945597895 DE-627 ger DE-627 rakwb 510 000 31.76 bkl 54.10 bkl 54.70 bkl Zhao, Yongxin verfasserin aut The semantics and verification of timed service choreography 2014 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Xiao, Hao oth Wang, Zheng oth Pu, Geguang oth Su, Ting oth Enthalten in International journal of computer mathematics London [u.a.] : Gordon and Breach, 1964 91(2014), 3 vom: 4. März, Seite 384-402 (DE-627)129358711 (DE-600)160460-0 (DE-576)014731010 0020-7160 nnns volume:91 year:2014 number:3 day:4 month:03 pages:384-402 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4318 31.76 AVZ 54.10 AVZ 54.70 AVZ AR 91 2014 3 4 3 384-402 19
allfieldsGer	sw140614_1 (DE-627)OLC1945597895 (DE-599)GBVOLC1945597895 DE-627 ger DE-627 rakwb 510 000 31.76 bkl 54.10 bkl 54.70 bkl Zhao, Yongxin verfasserin aut The semantics and verification of timed service choreography 2014 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Xiao, Hao oth Wang, Zheng oth Pu, Geguang oth Su, Ting oth Enthalten in International journal of computer mathematics London [u.a.] : Gordon and Breach, 1964 91(2014), 3 vom: 4. März, Seite 384-402 (DE-627)129358711 (DE-600)160460-0 (DE-576)014731010 0020-7160 nnns volume:91 year:2014 number:3 day:4 month:03 pages:384-402 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4318 31.76 AVZ 54.10 AVZ 54.70 AVZ AR 91 2014 3 4 3 384-402 19
allfieldsSound	sw140614_1 (DE-627)OLC1945597895 (DE-599)GBVOLC1945597895 DE-627 ger DE-627 rakwb 510 000 31.76 bkl 54.10 bkl 54.70 bkl Zhao, Yongxin verfasserin aut The semantics and verification of timed service choreography 2014 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Xiao, Hao oth Wang, Zheng oth Pu, Geguang oth Su, Ting oth Enthalten in International journal of computer mathematics London [u.a.] : Gordon and Breach, 1964 91(2014), 3 vom: 4. März, Seite 384-402 (DE-627)129358711 (DE-600)160460-0 (DE-576)014731010 0020-7160 nnns volume:91 year:2014 number:3 day:4 month:03 pages:384-402 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4318 31.76 AVZ 54.10 AVZ 54.70 AVZ AR 91 2014 3 4 3 384-402 19
source	Enthalten in International journal of computer mathematics 91(2014), 3 vom: 4. März, Seite 384-402 volume:91 year:2014 number:3 day:4 month:03 pages:384-402 extent:19
sourceStr	Enthalten in International journal of computer mathematics 91(2014), 3 vom: 4. März, Seite 384-402 volume:91 year:2014 number:3 day:4 month:03 pages:384-402 extent:19
format_phy_str_mv	Article
institution	findex.gbv.de
dewey-raw	510
isfreeaccess_bool	false
container_title	International journal of computer mathematics
authorswithroles_txt_mv	Zhao, Yongxin @@aut@@ Xiao, Hao @@oth@@ Wang, Zheng @@oth@@ Pu, Geguang @@oth@@ Su, Ting @@oth@@
publishDateDaySort_date	2014-03-04T00:00:00Z
hierarchy_top_id	129358711
dewey-sort	3510
id	OLC1945597895
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">OLC1945597895</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220217055731.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">140616s2014 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw140614_1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1945597895</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1945597895</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="082" ind1="0" ind2="4"><subfield code="a">510</subfield><subfield code="a">000</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.76</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.10</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.70</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhao, Yongxin</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The semantics and verification of timed service choreography</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">19</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Xiao, Hao</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wang, Zheng</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pu, Geguang</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Su, Ting</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">International journal of computer mathematics</subfield><subfield code="d">London [u.a.] : Gordon and Breach, 1964</subfield><subfield code="g">91(2014), 3 vom: 4. März, Seite 384-402</subfield><subfield code="w">(DE-627)129358711</subfield><subfield code="w">(DE-600)160460-0</subfield><subfield code="w">(DE-576)014731010</subfield><subfield code="x">0020-7160</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:91</subfield><subfield code="g">year:2014</subfield><subfield code="g">number:3</subfield><subfield code="g">day:4</subfield><subfield code="g">month:03</subfield><subfield code="g">pages:384-402</subfield><subfield code="g">extent:19</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">31.76</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.10</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.70</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">91</subfield><subfield code="j">2014</subfield><subfield code="e">3</subfield><subfield code="b">4</subfield><subfield code="c">3</subfield><subfield code="h">384-402</subfield><subfield code="g">19</subfield></datafield></record></collection>
author	Zhao, Yongxin
spellingShingle	Zhao, Yongxin ddc 510 bkl 31.76 bkl 54.10 bkl 54.70 The semantics and verification of timed service choreography
authorStr	Zhao, Yongxin
ppnlink_with_tag_str_mv	@@773@@(DE-627)129358711
format	Article
dewey-ones	510 - Mathematics 000 - Computer science, information & general works
delete_txt_mv	keep
author_role	aut
collection	OLC
remote_str	false
illustrated	Not Illustrated
issn	0020-7160
topic_title	510 000 31.76 bkl 54.10 bkl 54.70 bkl The semantics and verification of timed service choreography
topic	ddc 510 bkl 31.76 bkl 54.10 bkl 54.70
topic_unstemmed	ddc 510 bkl 31.76 bkl 54.10 bkl 54.70
topic_browse	ddc 510 bkl 31.76 bkl 54.10 bkl 54.70
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
author2_variant	h x hx z w zw g p gp t s ts
hierarchy_parent_title	International journal of computer mathematics
hierarchy_parent_id	129358711
dewey-tens	510 - Mathematics 000 - Computer science, knowledge & systems
hierarchy_top_title	International journal of computer mathematics
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)129358711 (DE-600)160460-0 (DE-576)014731010
title	The semantics and verification of timed service choreography
ctrlnum	(DE-627)OLC1945597895 (DE-599)GBVOLC1945597895
title_full	The semantics and verification of timed service choreography
author_sort	Zhao, Yongxin
journal	International journal of computer mathematics
journalStr	International journal of computer mathematics
isOA_bool	false
dewey-hundreds	500 - Science 000 - Computer science, information & general works
recordtype	marc
publishDateSort	2014
contenttype_str_mv	txt
container_start_page	384
author_browse	Zhao, Yongxin
container_volume	91
physical	19
class	510 000 31.76 bkl 54.10 bkl 54.70 bkl
format_se	Aufsätze
author-letter	Zhao, Yongxin
dewey-full	510 000
title_sort	semantics and verification of timed service choreography
title_auth	The semantics and verification of timed service choreography
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4318
container_issue	3
title_short	The semantics and verification of timed service choreography
remote_bool	false
author2	Xiao, Hao Wang, Zheng Pu, Geguang Su, Ting
author2Str	Xiao, Hao Wang, Zheng Pu, Geguang Su, Ting
ppnlink	129358711
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth oth oth oth
up_date	2024-07-03T22:49:22.385Z
_version_	1803599963630862336
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">OLC1945597895</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220217055731.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">140616s2014 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw140614_1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1945597895</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1945597895</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="082" ind1="0" ind2="4"><subfield code="a">510</subfield><subfield code="a">000</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.76</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.10</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.70</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhao, Yongxin</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The semantics and verification of timed service choreography</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">19</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Xiao, Hao</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wang, Zheng</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pu, Geguang</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Su, Ting</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">International journal of computer mathematics</subfield><subfield code="d">London [u.a.] : Gordon and Breach, 1964</subfield><subfield code="g">91(2014), 3 vom: 4. März, Seite 384-402</subfield><subfield code="w">(DE-627)129358711</subfield><subfield code="w">(DE-600)160460-0</subfield><subfield code="w">(DE-576)014731010</subfield><subfield code="x">0020-7160</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:91</subfield><subfield code="g">year:2014</subfield><subfield code="g">number:3</subfield><subfield code="g">day:4</subfield><subfield code="g">month:03</subfield><subfield code="g">pages:384-402</subfield><subfield code="g">extent:19</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">31.76</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.10</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.70</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">91</subfield><subfield code="j">2014</subfield><subfield code="e">3</subfield><subfield code="b">4</subfield><subfield code="c">3</subfield><subfield code="h">384-402</subfield><subfield code="g">19</subfield></datafield></record></collection>
score	7.4004736

Nicht das Richtige dabei?

Schreiben Sie uns!

The semantics and verification of timed service choreography

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?