Verfügbarkeit: A Calculus of Distributed and Parallel Processes

A Calculus of Distributed and Parallel Processes:

This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the seman...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cap, Clemens H. (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Wiesbaden Vieweg+Teubner Verlag 2000
Schriftenreihe:	Teubner-Texte zur Informatik 31
Schlagworte:	Engineering Engineering, general Mathematisches Modell Verteiltes System Kategorientheorie Transitionssystem Formale Sprache Algebraische Spezifikation Prozess > Informatik
Online-Zugang:	FHI01 BTU01 Volltext
Zusammenfassung:	This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems
Beschreibung:	1 Online-Ressource (320p)
ISBN:	9783322867636
DOI:	10.1007/978-3-322-86763-6

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV045149116
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	180827s2000 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783322867636 \|9 978-3-322-86763-6
024	7		\|a 10.1007/978-3-322-86763-6 \|2 doi
035			\|a (ZDB-2-ENG)978-3-322-86763-6
035			\|a (OCoLC)1050940733
035			\|a (DE-599)BVBBV045149116
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-573 \|a DE-634
082	0		\|a 620 \|2 23
100	1		\|a Cap, Clemens H. \|e Verfasser \|4 aut
245	1	0	\|a A Calculus of Distributed and Parallel Processes \|c by Clemens H. Cap
264		1	\|a Wiesbaden \|b Vieweg+Teubner Verlag \|c 2000
300			\|a 1 Online-Ressource (320p)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Teubner-Texte zur Informatik \|v 31
520			\|a This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems
650		4	\|a Engineering
650		4	\|a Engineering, general
650		4	\|a Engineering
650	0	7	\|a Mathematisches Modell \|0 (DE-588)4114528-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 Kategorientheorie \|0 (DE-588)4120552-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Transitionssystem \|0 (DE-588)4329099-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Sprache \|0 (DE-588)4017848-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prozess \|g Informatik \|0 (DE-588)4235427-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Prozess \|g Informatik \|0 (DE-588)4235427-4 \|D s
689	0	1	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|D s
689	0	2	\|a Formale Sprache \|0 (DE-588)4017848-1 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Prozess \|g Informatik \|0 (DE-588)4235427-4 \|D s
689	1	1	\|a Mathematisches Modell \|0 (DE-588)4114528-8 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Prozess \|g Informatik \|0 (DE-588)4235427-4 \|D s
689	2	1	\|a Kategorientheorie \|0 (DE-588)4120552-2 \|D s
689	2		\|8 3\p \|5 DE-604
689	3	0	\|a Transitionssystem \|0 (DE-588)4329099-1 \|D s
689	3	1	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	3		\|8 4\p \|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 9783322867650
856	4	0	\|u https://doi.org/10.1007/978-3-322-86763-6 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-ENG
940	1		\|q ZDB-2-ENG_2000/2004
999			\|a oai:aleph.bib-bvb.de:BVB01-030538815
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1007/978-3-322-86763-6 \|l FHI01 \|p ZDB-2-ENG \|q ZDB-2-ENG_2000/2004 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-322-86763-6 \|l BTU01 \|p ZDB-2-ENG \|q ZDB-2-ENG_Archiv \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804178820279828480
any_adam_object
author	Cap, Clemens H.
author_facet	Cap, Clemens H.
author_role	aut
author_sort	Cap, Clemens H.
author_variant	c h c ch chc
building	Verbundindex
bvnumber	BV045149116
collection	ZDB-2-ENG
ctrlnum	(ZDB-2-ENG)978-3-322-86763-6 (OCoLC)1050940733 (DE-599)BVBBV045149116
dewey-full	620
dewey-hundreds	600 - Technology (Applied sciences)
dewey-ones	620 - Engineering and allied operations
dewey-raw	620
dewey-search	620
dewey-sort	3620
dewey-tens	620 - Engineering and allied operations
doi_str_mv	10.1007/978-3-322-86763-6
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03364nmm a2200709zcb4500</leader><controlfield tag="001">BV045149116</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">180827s2000 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322867636</subfield><subfield code="9">978-3-322-86763-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-86763-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-3-322-86763-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1050940733</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045149116</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-573</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cap, Clemens H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Calculus of Distributed and Parallel Processes</subfield><subfield code="c">by Clemens H. Cap</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (320p)</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="490" ind1="0" ind2=" "><subfield code="a">Teubner-Texte zur Informatik</subfield><subfield code="v">31</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-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">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transitionssystem</subfield><subfield code="0">(DE-588)4329099-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozess</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4235427-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prozess</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4235427-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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="689" ind1="1" ind2="0"><subfield code="a">Prozess</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4235427-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Prozess</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4235427-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Transitionssystem</subfield><subfield code="0">(DE-588)4329099-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\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">Druck-Ausgabe</subfield><subfield code="z">9783322867650</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-86763-6</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-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030538815</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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="883" ind1="1" ind2=" "><subfield code="8">4\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.1007/978-3-322-86763-6</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_2000/2004</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.1007/978-3-322-86763-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV045149116
illustrated	Not Illustrated
indexdate	2024-07-10T08:10:03Z
institution	BVB
isbn	9783322867636
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030538815
oclc_num	1050940733
open_access_boolean
owner	DE-573 DE-634
owner_facet	DE-573 DE-634
physical	1 Online-Ressource (320p)
psigel	ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_Archiv
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Vieweg+Teubner Verlag
record_format	marc
series2	Teubner-Texte zur Informatik
spelling	Cap, Clemens H. Verfasser aut A Calculus of Distributed and Parallel Processes by Clemens H. Cap Wiesbaden Vieweg+Teubner Verlag 2000 1 Online-Ressource (320p) txt rdacontent c rdamedia cr rdacarrier Teubner-Texte zur Informatik 31 This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems Engineering Engineering, general Mathematisches Modell (DE-588)4114528-8 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Transitionssystem (DE-588)4329099-1 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Prozess Informatik (DE-588)4235427-4 gnd rswk-swf Prozess Informatik (DE-588)4235427-4 s Algebraische Spezifikation (DE-588)4207192-6 s Formale Sprache (DE-588)4017848-1 s 1\p DE-604 Mathematisches Modell (DE-588)4114528-8 s 2\p DE-604 Kategorientheorie (DE-588)4120552-2 s 3\p DE-604 Transitionssystem (DE-588)4329099-1 s Verteiltes System (DE-588)4238872-7 s 4\p DE-604 Erscheint auch als Druck-Ausgabe 9783322867650 https://doi.org/10.1007/978-3-322-86763-6 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Cap, Clemens H. A Calculus of Distributed and Parallel Processes Engineering Engineering, general Mathematisches Modell (DE-588)4114528-8 gnd Verteiltes System (DE-588)4238872-7 gnd Kategorientheorie (DE-588)4120552-2 gnd Transitionssystem (DE-588)4329099-1 gnd Formale Sprache (DE-588)4017848-1 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Prozess Informatik (DE-588)4235427-4 gnd
subject_GND	(DE-588)4114528-8 (DE-588)4238872-7 (DE-588)4120552-2 (DE-588)4329099-1 (DE-588)4017848-1 (DE-588)4207192-6 (DE-588)4235427-4
title	A Calculus of Distributed and Parallel Processes
title_auth	A Calculus of Distributed and Parallel Processes
title_exact_search	A Calculus of Distributed and Parallel Processes
title_full	A Calculus of Distributed and Parallel Processes by Clemens H. Cap
title_fullStr	A Calculus of Distributed and Parallel Processes by Clemens H. Cap
title_full_unstemmed	A Calculus of Distributed and Parallel Processes by Clemens H. Cap
title_short	A Calculus of Distributed and Parallel Processes
title_sort	a calculus of distributed and parallel processes
topic	Engineering Engineering, general Mathematisches Modell (DE-588)4114528-8 gnd Verteiltes System (DE-588)4238872-7 gnd Kategorientheorie (DE-588)4120552-2 gnd Transitionssystem (DE-588)4329099-1 gnd Formale Sprache (DE-588)4017848-1 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Prozess Informatik (DE-588)4235427-4 gnd
topic_facet	Engineering Engineering, general Mathematisches Modell Verteiltes System Kategorientheorie Transitionssystem Formale Sprache Algebraische Spezifikation Prozess Informatik
url	https://doi.org/10.1007/978-3-322-86763-6
work_keys_str_mv	AT capclemensh acalculusofdistributedandparallelprocesses

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge