Holdings: Algebra and coalgebra in computer science

Algebra and coalgebra in computer science: 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 8089
Subjects:	Formale Methode Theoretische Informatik Algebra Koalgebra Konferenzschrift > 2013 > Warschau
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XIII, 358 S. graph. Darst.
ISBN:	9783642402050 3642402054 9783642402067

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041255795
003	DE-604
005	20140129
007	t\|
008	130904s2013 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 13,N34 \|2 dnb
016	7		\|a 1038190509 \|2 DE-101
020			\|a 9783642402050 \|c Pb. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.) \|9 978-3-642-40205-0
020			\|a 3642402054 \|9 3-642-40205-4
020			\|a 9783642402067 \|9 978-3-642-40206-7
024	3		\|a 9783642402050
028	5	2	\|a Best.-Nr.: 86301449
035			\|a (OCoLC)859724622
035			\|a (DE-599)DNB1038190509
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 005.101512 \|2 22/ger
084			\|a MAT 110f \|2 stub
084			\|a DAT 500f \|2 stub
245	1	0	\|a Algebra and coalgebra in computer science \|b 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings \|c Reiko Heckel ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a XIII, 358 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8089
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algebra \|0 (DE-588)4001156-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Koalgebra \|0 (DE-588)4164324-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Warschau \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0	1	\|a Koalgebra \|0 (DE-588)4164324-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	1	1	\|a Algebra \|0 (DE-588)4001156-2 \|D s
689	1		\|5 DE-604
689	2	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|8 1\p \|5 DE-604
700	1		\|a Heckel, Reiko \|e Sonstige \|4 oth
711	2		\|a CALCO \|n 5 \|d 2013 \|c Warschau \|j Sonstige \|0 (DE-588)1041317344 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8089 \|w (DE-604)BV000000607 \|9 8089
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4390673&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=026229739&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026229739

Record in the Search Index

_version_	1820875472559407104
adam_text	TABLE OF CONTENTS INVITED TALKS AN EFFECT SYSTEM FOR ALGEBRAIC EFFECTS AND HANDLERS 1 ANDREJ BAUER AND MATIJA PRETNAR AUTOMATA AND ALGEBRAS FOR INFINITE WORDS AND TREES 17 MIKOLAJ BOJANCZYK POSITIVE INDUCTIVE-RECURSIVE DEFINITIONS 19 NEIL GHANI, LORENZO MALATESTA, AND FREDRIK NORDVALL FORSBERG COALGEBRAIC UP-TO TECHNIQUES 34 DAMIEN POUS CONTRIBUTED PAPERS EXPLOITING ALGEBRAIC LAWS TO IMPROVE MECHANIZED AXIOMATIZATIONS . 36 LUCA ACETO, EUGEN-IOAN GORIAC, ANNA INGOLFSDOTTIR, MOHAMMAD REZA MOUSAVI. AND MICHEL A. RENDERS POSITIVE FRAGMENTS OF COALGEBRAIC LOGICS 51 ADRIANA BALAN, ALEXANDER KURZ, AND JIFI VELEBIL MANY-VALUED RELATION LIFTING AND MOSS' COALGEBRAIC LOGIC 66 MARTA BUKOVD AND MATEJ DOSTDL SATURATED SEMANTICS FOR COALGEBRAIC LOGIC PROGRAMMING 80 FILIPPO BONCHI AND FABIO ZANASI PRESENTING DISTRIBUTIVE LAWS 95 MARCELLO M. BONSANGUE, HELLE HVID HANSEN, ALEXANDER KURZ, A,ND JURRIAAN ROT INTERACTION AND OBSERVATION: CATEGORICAL SEMANTICS OF REACTIVE SYSTEMS TROUGH DIALGEBRAS 110 VINCENZO CIANCIA HOMOMORPHISMS OF COALGEBRAS FROM PREDICATE LIFTINGS 126 SEBASTIAN ENQVIST FROM KLEISLI CATEGORIES TO COMMUTATIVE C*-ALGEBRAS: PROBABILISTIC GELFAND DUALITY 141 ROBERT FURBER AND BART, JACOBS HTTP://D-NB.INFO/1038190509 XII TABLE OF CONTENTS TRACE SEMANTICS VIA GENERIC OBSERVATIONS 158 SERGEY GONCHAROV FULL ABSTRACTION FOR FAIR TESTING IN CCS 175 TORN HIRSCHOWITZ A SIMPLE CASE OF RATIONALITY OF ESCALATION 191 PIERRE LESCANNE COALGEBRAS WITH SYMMETRIES AND MODELLING QUANTUM SYSTEMS 205 DANIEL MARSDEN FROM OPERATIONAL CHU DUALITY TO COALGEBRAIC QUANTUM SYMMETRY . 220 YOSHIHIRO MARUYAMA NONINTERFERING SCHEDULERS: WHEN POSSIBILISTIC NONINTERFERENCE IMPLIES PROBABILISTIC NONINTERFERENCE 236 ANDREI POPESCU, JOHANNES HOLZL, AND TOBIAS NIPKOW SIMULATIONS AND BISIMULATIONS FOR COALGEBRAIC MODAL LOGICS 253 DANIEL GORIN AND LUTZ SCHRODER A COALGEBRAIC VIEW OF E-TRANSITIONS 267 ALEXANDRA SILVA AND BRAM WESTERBAAN NETS, RELATIONS AND LINKING DIAGRAMS 282 PAWEL SOBOCINSKI A LOGIC-PROGRAMMING SEMANTICS OF SERVICES 299 IONUF AND JOSE LUIZ FIADEIRO CALCO-TOOLS WORKSHOP PREFACE TO CALCO-TOOLS 314 LUTZ SCHRODER CHECKING CONSERVATIVITY WITH HETS 315 MIHAI CODESCU, TILL MOSSAKOWSKI, AND CHRISTIAN MAEDER THE HI-MAUDE TOOL 322 MUHAMMAD FADLISYAH AND PETER CSABA OLVECZKY CONSTRUCTOR-BASED INDUCTIVE THEOREM PROVER 328 DANIEL GAINA, MIN ZHANG, YUKI CHIBA, AND YASUHITO ARIMOTO A TIMED CTL MODEL CHECKER FOR REAL-TIME MAUDE 334 DANIELA LEPRI, ERIKA ABRAHAM, AND, PETER CSABA OLVECZKY HYBRIDISATION AT WORK 340 RENATO NEVES, ALEXANDRE MADEIRA, MANUEL A. MARTINS, AND LUIS S. BARBOSA TABLE OF CONTENTS XIII PENROSE: PUTTING COMPOSITIONALITY TO WORK FOR PETRI NET REACHABILITY 346 PAWEL SOBOCINSKI AND OWEN STEPHENS QSTREAM: A SUITE OF STREAMS 353 JOOST WINTER AUTHOR INDEX 359
any_adam_object	1
building	Verbundindex
bvnumber	BV041255795
classification_rvk	SS 4800
classification_tum	MAT 110f DAT 500f
ctrlnum	(OCoLC)859724622 (DE-599)DNB1038190509
dewey-full	005.101512
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.101512
dewey-search	005.101512
dewey-sort	15.101512
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
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">BV041255795</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140129</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130904s2013 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N34</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1038190509</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642402050</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-40205-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642402054</subfield><subfield code="9">3-642-40205-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642402067</subfield><subfield code="9">978-3-642-40206-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642402050</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86301449</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)859724622</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1038190509</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101512</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 110f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebra and coalgebra in computer science</subfield><subfield code="b">5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings</subfield><subfield code="c">Reiko Heckel ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 358 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">Lecture notes in computer science</subfield><subfield code="v">8089</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Koalgebra</subfield><subfield code="0">(DE-588)4164324-0</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">2013</subfield><subfield code="z">Warschau</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Koalgebra</subfield><subfield code="0">(DE-588)4164324-0</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Heckel, Reiko</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CALCO</subfield><subfield code="n">5</subfield><subfield code="d">2013</subfield><subfield code="c">Warschau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041317344</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">8089</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8089</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4390673&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=026229739&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026229739</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Warschau gnd-content
genre_facet	Konferenzschrift 2013 Warschau
id	DE-604.BV041255795
illustrated	Illustrated
indexdate	2025-01-10T15:16:10Z
institution	BVB
institution_GND	(DE-588)1041317344
isbn	9783642402050 3642402054 9783642402067
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026229739
oclc_num	859724622
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XIII, 358 S. graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings Reiko Heckel ... (eds.) Berlin [u.a.] Springer 2013 XIII, 358 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8089 Formale Methode (DE-588)4333722-3 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Koalgebra (DE-588)4164324-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Warschau gnd-content Theoretische Informatik (DE-588)4196735-5 s Koalgebra (DE-588)4164324-0 s DE-604 Algebra (DE-588)4001156-2 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Heckel, Reiko Sonstige oth CALCO 5 2013 Warschau Sonstige (DE-588)1041317344 oth Lecture notes in computer science 8089 (DE-604)BV000000607 8089 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4390673&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026229739&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Theoretische Informatik (DE-588)4196735-5 gnd Algebra (DE-588)4001156-2 gnd Koalgebra (DE-588)4164324-0 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4196735-5 (DE-588)4001156-2 (DE-588)4164324-0 (DE-588)1071861417
title	Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings
title_auth	Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings
title_exact_search	Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings
title_full	Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings Reiko Heckel ... (eds.)
title_fullStr	Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings Reiko Heckel ... (eds.)
title_full_unstemmed	Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings Reiko Heckel ... (eds.)
title_short	Algebra and coalgebra in computer science
title_sort	algebra and coalgebra in computer science 5th international conference calco 2013 warsaw poland september 3 6 2013 proceedings
title_sub	5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Theoretische Informatik (DE-588)4196735-5 gnd Algebra (DE-588)4001156-2 gnd Koalgebra (DE-588)4164324-0 gnd
topic_facet	Formale Methode Theoretische Informatik Algebra Koalgebra Konferenzschrift 2013 Warschau
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4390673&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026229739&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT heckelreiko algebraandcoalgebraincomputerscience5thinternationalconferencecalco2013warsawpolandseptember362013proceedings AT calcowarschau algebraandcoalgebraincomputerscience5thinternationalconferencecalco2013warsawpolandseptember362013proceedings

Holdings

There is no print copy available.

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

MARC

Record in the Search Index

There is no print copy available.

Similar Items