Holdings: Coordination models and languages

Coordination models and languages: 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2008
Series:	Lecture notes in computer science 5052
Subjects:	Processamento de dados (congressos) Datenverarbeitung Electronic data processing > Distributed processing > Congresses Parallel processing (Electronic computers) > Congresses Koordinationssprache Komponente > Software Verteiltes System Softwarearchitektur Nebenläufigkeit Konferenzschrift > 2008 > Oslo
Online Access:	Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	X, 346 S. graph. Darst. 24 cm
ISBN:	9783540682646

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV023332277
003	DE-604
005	20080703
007	t\|
008	080606s2008 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 08,N20,0015 \|2 dnb
016	7		\|a 988424878 \|2 DE-101
020			\|a 9783540682646 \|c kart. : EUR 55.64 (freier Pr.), sfr 86.50 (freier Pr.) \|9 978-3-540-68264-6
024	3		\|a 9783540682646
028	5	2	\|a 12272662
035			\|a (OCoLC)227032570
035			\|a (DE-599)DNB988424878
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-83 \|a DE-11
050		0	\|a QA76.58
082	0		\|a 005.27 \|2 22/ger
082	0		\|a 005.27 \|2 22//ger
084			\|a DAT 250f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 350f \|2 stub
084			\|a DAT 310f \|2 stub
245	1	0	\|a Coordination models and languages \|b 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings \|c Doug Lea ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2008
300			\|a X, 346 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 5052
500			\|a Literaturangaben
650		7	\|a Processamento de dados (congressos) \|2 larpcal
650		4	\|a Datenverarbeitung
650		4	\|a Electronic data processing \|x Distributed processing \|v Congresses
650		4	\|a Parallel processing (Electronic computers) \|v Congresses
650	0	7	\|a Koordinationssprache \|0 (DE-588)4741705-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarearchitektur \|0 (DE-588)4121677-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2008 \|z Oslo \|2 gnd-content
689	0	0	\|a Koordinationssprache \|0 (DE-588)4741705-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Koordinationssprache \|0 (DE-588)4741705-5 \|D s
689	1	1	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	1		\|5 DE-604
689	2	0	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	2	1	\|a Softwarearchitektur \|0 (DE-588)4121677-5 \|D s
689	2	2	\|a Koordinationssprache \|0 (DE-588)4741705-5 \|D s
689	2	3	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|D s
689	2		\|5 DE-604
700	1		\|a Lea, Douglas \|e Sonstige \|4 oth
711	2		\|a International Conference on Coordination Models and Languages \|n 10 \|d 2008 \|c Oslo \|j Sonstige \|0 (DE-588)10344109-8 \|4 oth
830		0	\|a Lecture notes in computer science \|v 5052 \|w (DE-604)BV000000607 \|9 5052
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016516188&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016516188

Record in the Search Index

_version_	1820875043394027520
adam_text	* * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/988424878 DIGITALISIERT DURCH X TABLE OF CONTENTS HOW TO INFER FINITE SESSION TYPES IN A CALCULUS OF SERVICES AND SESSIONS 216 LEONARDO GAETANO MEZZINA AN EVENT-BASED COORDINATION MODEL FOR CONTEXT-AWARE APPLICATIONS 232 ANGEL NUENEZ AND JACQUES NOYE FORMAL ANALYSIS OF BPMN VIA A TRANSLATION INTO COWS 249 DAVIDE PRANDI, PAOLA QUAGLIA, AND NICOLA ZANNONE ENCRYPTED SHARED DATA SPACES 264 GIOVANNI RUSSELLO, CHANGYU DONG, NARANKER DULAY, MICHEL CHAUDRON, AND MAARTEN VAN STEEN CIAN: A WORKFLOW ENGINE FOR MANETS 280 ROHAN SEN, GRUIA-CATALIN ROMAN, AND CHRISTOPHER GILT A PROCESS CALCULUS FOR MOBILE AD HOC NETWORKS 296 ANN SINGH, C.R. RAMAKRISHNAN, AND SCOTT A. SMOLKA ACTORS WITH MULTI-HEADED MESSAGE RECEIVE PATTERNS 315 MARTIN SULZMANN, EDMUND S.L. LAM, AND PETER VAN WEERT A COMPOSITIONAL TRACE SEMANTICS FOR ORC 331 DIMUERIOS VARDOULAKIS AND MITCHELL WAND AUTHOR INDEX 347
adam_txt	* * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/988424878 DIGITALISIERT DURCH X TABLE OF CONTENTS HOW TO INFER FINITE SESSION TYPES IN A CALCULUS OF SERVICES AND SESSIONS 216 LEONARDO GAETANO MEZZINA AN EVENT-BASED COORDINATION MODEL FOR CONTEXT-AWARE APPLICATIONS 232 ANGEL NUENEZ AND JACQUES NOYE FORMAL ANALYSIS OF BPMN VIA A TRANSLATION INTO COWS 249 DAVIDE PRANDI, PAOLA QUAGLIA, AND NICOLA ZANNONE ENCRYPTED SHARED DATA SPACES 264 GIOVANNI RUSSELLO, CHANGYU DONG, NARANKER DULAY, MICHEL CHAUDRON, AND MAARTEN VAN STEEN CIAN: A WORKFLOW ENGINE FOR MANETS 280 ROHAN SEN, GRUIA-CATALIN ROMAN, AND CHRISTOPHER GILT A PROCESS CALCULUS FOR MOBILE AD HOC NETWORKS 296 ANN SINGH, C.R. RAMAKRISHNAN, AND SCOTT A. SMOLKA ACTORS WITH MULTI-HEADED MESSAGE RECEIVE PATTERNS 315 MARTIN SULZMANN, EDMUND S.L. LAM, AND PETER VAN WEERT A COMPOSITIONAL TRACE SEMANTICS FOR ORC 331 DIMUERIOS VARDOULAKIS AND MITCHELL WAND AUTHOR INDEX 347
any_adam_object	1
any_adam_object_boolean	1
building	Verbundindex
bvnumber	BV023332277
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.58
callnumber-search	QA76.58
callnumber-sort	QA 276.58
callnumber-subject	QA - Mathematics
classification_rvk	SS 4800
classification_tum	DAT 250f DAT 350f DAT 310f
ctrlnum	(OCoLC)227032570 (DE-599)DNB988424878
dewey-full	005.27
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.27
dewey-search	005.27
dewey-sort	15.27
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV023332277</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080703</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">080606s2008 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N20,0015</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">988424878</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540682646</subfield><subfield code="c">kart. : EUR 55.64 (freier Pr.), sfr 86.50 (freier Pr.)</subfield><subfield code="9">978-3-540-68264-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540682646</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12272662</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227032570</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB988424878</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.27</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.27</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Coordination models and languages</subfield><subfield code="b">10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings</subfield><subfield code="c">Doug Lea ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 346 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">Lecture notes in computer science</subfield><subfield code="v">5052</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Processamento de dados (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Koordinationssprache</subfield><subfield code="0">(DE-588)4741705-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Oslo</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Koordinationssprache</subfield><subfield code="0">(DE-588)4741705-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Koordinationssprache</subfield><subfield code="0">(DE-588)4741705-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Koordinationssprache</subfield><subfield code="0">(DE-588)4741705-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lea, Douglas</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Coordination Models and Languages</subfield><subfield code="n">10</subfield><subfield code="d">2008</subfield><subfield code="c">Oslo</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10344109-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5052</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5052</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016516188&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016516188</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2008 Oslo gnd-content
genre_facet	Konferenzschrift 2008 Oslo
id	DE-604.BV023332277
illustrated	Illustrated
index_date	2024-07-02T20:58:06Z
indexdate	2025-01-10T15:09:21Z
institution	BVB
institution_GND	(DE-588)10344109-8
isbn	9783540682646
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016516188
oclc_num	227032570
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-83 DE-11
owner_facet	DE-706 DE-91G DE-BY-TUM DE-83 DE-11
physical	X, 346 S. graph. Darst. 24 cm
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings Doug Lea ... (eds.) Berlin [u.a.] Springer 2008 X, 346 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5052 Literaturangaben Processamento de dados (congressos) larpcal Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Koordinationssprache (DE-588)4741705-5 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Oslo gnd-content Koordinationssprache (DE-588)4741705-5 s DE-604 Nebenläufigkeit (DE-588)4115352-2 s Verteiltes System (DE-588)4238872-7 s Softwarearchitektur (DE-588)4121677-5 s Komponente Software (DE-588)4439521-8 s Lea, Douglas Sonstige oth International Conference on Coordination Models and Languages 10 2008 Oslo Sonstige (DE-588)10344109-8 oth Lecture notes in computer science 5052 (DE-604)BV000000607 5052 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016516188&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings Lecture notes in computer science Processamento de dados (congressos) larpcal Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Koordinationssprache (DE-588)4741705-5 gnd Komponente Software (DE-588)4439521-8 gnd Verteiltes System (DE-588)4238872-7 gnd Softwarearchitektur (DE-588)4121677-5 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4741705-5 (DE-588)4439521-8 (DE-588)4238872-7 (DE-588)4121677-5 (DE-588)4115352-2 (DE-588)1071861417
title	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings
title_auth	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings
title_exact_search	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings
title_exact_search_txtP	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings
title_full	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings Doug Lea ... (eds.)
title_fullStr	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings Doug Lea ... (eds.)
title_full_unstemmed	Coordination models and languages 10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings Doug Lea ... (eds.)
title_short	Coordination models and languages
title_sort	coordination models and languages 10th international conference coordination 2008 oslo norway june 4 6 2008 proceedings
title_sub	10th international conference, COORDINATION 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings
topic	Processamento de dados (congressos) larpcal Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Koordinationssprache (DE-588)4741705-5 gnd Komponente Software (DE-588)4439521-8 gnd Verteiltes System (DE-588)4238872-7 gnd Softwarearchitektur (DE-588)4121677-5 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Processamento de dados (congressos) Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Koordinationssprache Komponente Software Verteiltes System Softwarearchitektur Nebenläufigkeit Konferenzschrift 2008 Oslo
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016516188&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT leadouglas coordinationmodelsandlanguages10thinternationalconferencecoordination2008oslonorwayjune462008proceedings AT internationalconferenceoncoordinationmodelsandlanguagesoslo coordinationmodelsandlanguages10thinternationalconferencecoordination2008oslonorwayjune462008proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items