Holdings: Process algebra :: THWS Bibkatalog

Process algebra: equational theories of communicating processes

Saved in:

Bibliographic Details
Main Authors:	Baeten, Josephus C. M. (Author), Basten, Twan 1969- (Author), Reniers, M. A. 1970- (Author)
Format:	Book
Language:	English
Published:	Cambridge [u.a.] Cambridge Univ. Press 2010
Edition:	1. publ.
Series:	Cambridge tracts in theoretical computer science 50
Subjects:	Prozessalgebra Prozess > Informatik
Online Access:	Inhaltsverzeichnis
Item Description:	Literaturverz. S. 411 - 420
Physical Description:	XVI, 460 S. graph. Darst.
ISBN:	9780521820493 0521820499

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV036802127
003	DE-604
005	20110504
007	t
008	101129s2010 d\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 9780521820493 \|c (hbk.) £50.00 \|9 978-0-521-82049-3
020			\|a 0521820499 \|c (hbk.) £50.00 \|9 0-521-82049-9
035			\|a (OCoLC)706013423
035			\|a (DE-599)GBV606479163
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-703 \|a DE-706
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
100	1		\|a Baeten, Josephus C. M. \|e Verfasser \|4 aut
245	1	0	\|a Process algebra \|b equational theories of communicating processes \|c J. C. M. Baeten ; T. Basten ; M. A. Reniers
250			\|a 1. publ.
264		1	\|a Cambridge [u.a.] \|b Cambridge Univ. Press \|c 2010
300			\|a XVI, 460 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Cambridge tracts in theoretical computer science \|v 50
500			\|a Literaturverz. S. 411 - 420
650	0	7	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|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 Prozessalgebra \|0 (DE-588)4283920-8 \|D s
689	0		\|5 DE-604
689	1	0	\|a Prozess \|g Informatik \|0 (DE-588)4235427-4 \|D s
689	1		\|5 DE-604
700	1		\|a Basten, Twan \|d 1969- \|e Verfasser \|0 (DE-588)142931535 \|4 aut
700	1		\|a Reniers, M. A. \|d 1970- \|e Verfasser \|0 (DE-588)142930911 \|4 aut
830		0	\|a Cambridge tracts in theoretical computer science \|v 50 \|w (DE-604)BV000754528 \|9 50
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020718281&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-020718281

Record in the Search Index

_version_	1804143494586957824
adam_text	IMAGE 1 FOREWORD P. IX FOREWORD P. X FOREWORD P. XI PREFACE P. XIII PROCESS ALGEBRA P. 1 DEFINITION P. 1 CALCULATION P. 3 HISTORY P. 4 PRELIMINARIES P. 11 INTRODUCTION P. 11 EQUATIONAL THEORIES P. 11 ALGEBRAS P. 21 TERM REWRITING SYSTEMS P. 30 BIBLIOGRAPHICAL REMARKS P. 34 TRANSITION SYSTEMS P. 35 TRANSITION-SYSTEM SPACES P. 35 STRUCTURAL OPERATIONAL SEMANTICS P. 47 BIBLIOGRAPHICAL REMARKS P. 64 BASIC PROCESS THEORY P. 67 INTRODUCTION P. 67 THE PROCESS THEORY MPT P. 68 THE TERM MODEL P. 72 THE EMPTY PROCESS P. 81 PROJECTION P. 92 PREFIX ITERATION P. 102 BIBLIOGRAPHICAL REMARKS P. 107 RECURSION P. 109 INTRODUCTION P. 109 RECURSIVE SPECIFICATIONS P. 110 SOLUTIONS OF RECURSIVE SPECIFICATIONS P. 113 THE TERM MODEL P. 119 RECURSION PRINCIPLES P. 124 DESCRIBING A STACK P. 146 EXPRESSIVENESS AND DEFINABILITY P. 148 REGULAR PROCESSES P. 154 RECURSION AND BSP*(A) P. 157 THE PROJECTIVE LIMIT MODEL P. 159 BIBLIOGRAPHICAL REMARKS P. 168 SEQUENTIAL PROCESSES P. 171 SEQUENTIAL COMPOSITION P. 171 THE PROCESS THEORY TSP P. 171 IMAGE 2 THE TERM MODEL P. 174 PROJECTION IN TSP(A) P. 177 ITERATION P. 178 RECURSION P. 182 RENAMING, ENCAPSULATION, AND SKIP OPERATORS P. 189 BIBLIOGRAPHICAL REMARKS P. 194 PARALLEL AND COMMUNICATING PROCESSES P. 195 INTERLEAVING P. 195 AN OPERATIONAL VIEW P. 196 STANDARD COMMUNICATION P. 199 THE PROCESS THEORY BCP P. 201 THE TERM MODEL P. 216 RECURSION, BUFFERS, AND BAGS P. 218 THE PROCESS THEORY TCP AND FURTHER EXTENSIONS P. 227 SPECIFYING THE ALTERNATING-BIT PROTOCOL P. 235 BIBLIOGRAPHICAL REMARKS P. 242 ABSTRACTION P. 245 INTRODUCTION P. 245 TRANSITION SYSTEMS WITH SILENT STEPS P. 246 BSP WITH SILENT STEPS P. 256 THE TERM MODEL P. 258 SOME EXTENSIONS OF BSP P. 267 TCP WITH SILENT STEPS P. 276 ITERATION AND DIVERGENCE P. 280 RECURSION AND FAIR ABSTRACTION P. 284 VERIFICATION OF THE ABP AND QUEUES REVISITED P. 295 BIBLIOGRAPHICAL REMARKS P. 298 TIMING P. 301 INTRODUCTION P. 301 TIMED TRANSITION SYSTEMS P. 304 DISCRETE TIME, RELATIVE TIME P. 307 THE TERM MODEL P. 309 TIME ITERATION AND DELAYABLE ACTIONS P. 312 THE RELATION BETWEEN BSP(A) AND BSP P. 317 THE PROCESS THEORY TCP P. 319 FISCHER S PROTOCOL P. 327 BIBLIOGRAPHICAL REMARKS P. 333 DATA AND STATES P. 335 INTRODUCTION P. 335 GUARDED COMMANDS P. 336 THE INACCESSIBLE PROCESS P. 345 IMAGE 3 PROPOSITIONAL SIGNALS P. 348 STATE OPERATORS P. 362 CHOICE QUANTIFICATION P. 366 BIBLIOGRAPHICAL REMARKS P. 374 FEATURES P. 375 PRIORITIES P. 375 PROBABILITIES P. 381 MOBILITY P. 387 PARALLEL COMPOSITION REVISITED P. 389 BIBLIOGRAPHICAL REMARKS P. 391 SEMANTICS P. 393 BISIMILARITY AND TRACE SEMANTICS P. 393 FAILURES AND READINESS SEMANTICS P. 397 THE LINEAR TIME - BRANCHING TIME LATTICE P. 401 PARTIAL-ORDER SEMANTICS P. 407 BIBLIOGRAPHICAL REMARKS P. 410 BIBLIOGRAPHY P. 411 INDEX OF SYMBOLS AND NOTATIONS P. 421 INDEX OF AUTHORS P. 435 INDEX OF SUBJECTS P. 439 TABLE OF CONTENTS PROVIDED BY BLACKWELL S BOOK SERVICES AND R.R. BOWKER. USED WITH PERMISSION.
any_adam_object	1
author	Baeten, Josephus C. M. Basten, Twan 1969- Reniers, M. A. 1970-
author_GND	(DE-588)142931535 (DE-588)142930911
author_facet	Baeten, Josephus C. M. Basten, Twan 1969- Reniers, M. A. 1970-
author_role	aut aut aut
author_sort	Baeten, Josephus C. M.
author_variant	j c m b jcm jcmb t b tb m a r ma mar
building	Verbundindex
bvnumber	BV036802127
classification_rvk	ST 130
ctrlnum	(OCoLC)706013423 (DE-599)GBV606479163
discipline	Informatik
edition	1. publ.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01824nam a2200433 cb4500</leader><controlfield tag="001">BV036802127</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110504 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">101129s2010 d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521820493</subfield><subfield code="c">(hbk.) £50.00</subfield><subfield code="9">978-0-521-82049-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521820499</subfield><subfield code="c">(hbk.) £50.00</subfield><subfield code="9">0-521-82049-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)706013423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV606479163</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baeten, Josephus C. M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Process algebra</subfield><subfield code="b">equational theories of communicating processes</subfield><subfield code="c">J. C. M. Baeten ; T. Basten ; M. A. Reniers</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 460 S.</subfield><subfield code="b">graph. Darst.</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">Cambridge tracts in theoretical computer science</subfield><subfield code="v">50</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 411 - 420</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</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">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</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">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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Basten, Twan</subfield><subfield code="d">1969-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)142931535</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reniers, M. A.</subfield><subfield code="d">1970-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)142930911</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">50</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">50</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=020718281&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020718281</subfield></datafield></record></collection>
id	DE-604.BV036802127
illustrated	Illustrated
indexdate	2024-07-09T22:48:33Z
institution	BVB
isbn	9780521820493 0521820499
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020718281
oclc_num	706013423
open_access_boolean
owner	DE-703 DE-706
owner_facet	DE-703 DE-706
physical	XVI, 460 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Cambridge Univ. Press
record_format	marc
series	Cambridge tracts in theoretical computer science
series2	Cambridge tracts in theoretical computer science
spelling	Baeten, Josephus C. M. Verfasser aut Process algebra equational theories of communicating processes J. C. M. Baeten ; T. Basten ; M. A. Reniers 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2010 XVI, 460 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 50 Literaturverz. S. 411 - 420 Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Prozess Informatik (DE-588)4235427-4 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 s DE-604 Prozess Informatik (DE-588)4235427-4 s Basten, Twan 1969- Verfasser (DE-588)142931535 aut Reniers, M. A. 1970- Verfasser (DE-588)142930911 aut Cambridge tracts in theoretical computer science 50 (DE-604)BV000754528 50 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020718281&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Baeten, Josephus C. M. Basten, Twan 1969- Reniers, M. A. 1970- Process algebra equational theories of communicating processes Cambridge tracts in theoretical computer science Prozessalgebra (DE-588)4283920-8 gnd Prozess Informatik (DE-588)4235427-4 gnd
subject_GND	(DE-588)4283920-8 (DE-588)4235427-4
title	Process algebra equational theories of communicating processes
title_auth	Process algebra equational theories of communicating processes
title_exact_search	Process algebra equational theories of communicating processes
title_full	Process algebra equational theories of communicating processes J. C. M. Baeten ; T. Basten ; M. A. Reniers
title_fullStr	Process algebra equational theories of communicating processes J. C. M. Baeten ; T. Basten ; M. A. Reniers
title_full_unstemmed	Process algebra equational theories of communicating processes J. C. M. Baeten ; T. Basten ; M. A. Reniers
title_short	Process algebra
title_sort	process algebra equational theories of communicating processes
title_sub	equational theories of communicating processes
topic	Prozessalgebra (DE-588)4283920-8 gnd Prozess Informatik (DE-588)4235427-4 gnd
topic_facet	Prozessalgebra Prozess Informatik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020718281&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000754528
work_keys_str_mv	AT baetenjosephuscm processalgebraequationaltheoriesofcommunicatingprocesses AT bastentwan processalgebraequationaltheoriesofcommunicatingprocesses AT reniersma processalgebraequationaltheoriesofcommunicatingprocesses

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