Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3 - 6, 2005 ; proceedings (English)
- New search for: CALCO
- Further information on CALCO:
- http://d-nb.info/gnd/10112771-6
- New search for: Fiadeiro, José Luiz
- New search for: Harman, Neil
- New search for: CALCO
- Further information on CALCO:
- http://d-nb.info/gnd/10112771-6
2005
-
ISBN:
- Conference Proceedings / Electronic Resource
-
Title:Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3 - 6, 2005 ; proceedings
-
Contributors:
-
Conference:CALCO 2005 ; 2005 ; Swansea
International Conference on Algebra and Coalgebra in Computer Science ; 1 ; 2005 ; Swansea -
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin [u.a.]
-
Publication date:2005
-
Size:Online-Ressource (XI, 455 S.)
-
Remarks:graph. Darst
A new biennial conference, merging CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Algebraic Development Techniques
Literaturangaben -
ISBN:
-
DOI:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
- New search for: 00B25 / 68Qxx / *68-06
- Further information on Mathematics Subject Classification
- New search for: 54.10 / 54.71
- Further information on Basic classification
- New search for: 004.01/512
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed CategoriesAbramsky, S. et al. | 2005
- 30
-
Labels from Reductions: Towards a General TheoryKlin, B. / Sassone, V. / Sobocinski, P. et al. | 2005
- 51
-
Adequacy for Algebraic Effects with StatePlotkin, G. et al. | 2005
- 52
-
Bisimilarity Is Not Finitely Based over BPA with InterruptAceto, L. / Fokkink, W. / Ingolfsdottir, A. / Nain, S. et al. | 2005
- 67
-
Algebra ∩ Coalgebra = PresheavesAdamek, J. et al. | 2005
- 83
-
Strong Splitting Bisimulation EquivalenceBergstra, J. / Middelburg, C. A. et al. | 2005
- 98
-
Complete Axioms for Stateless ConnectorsBruni, R. / Lanese, I. / Montanari, U. et al. | 2005
- 114
-
On the Semantics of Coinductive Types in Martin-Lof Type TheoryDe Marchi, F. et al. | 2005
- 127
-
Look: Simple Stochastic Relations Are Just, Well, SimpleDoberkat, E.-E. et al. | 2005
- 142
-
Modelling Fusion Calculus Using HD-AutomataFerrari, G. / Montanari, U. / Tuosto, E. / Victor, B. / Yemane, K. et al. | 2005
- 157
-
An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOLFox, A. et al. | 2005
- 175
-
Using Proofs by Coinduction to Find "Traditional" ProofsGrabmayer, C. et al. | 2005
- 194
-
From T-Coalgebras to Filter Structures and Transition SystemsGumm, H. P. et al. | 2005
- 213
-
Context-Free Languages via Coalgebraic Trace SemanticsHasuo, I. / Jacobs, B. et al. | 2005
- 232
-
Towards a Coalgebraic Semantics of the Ambient CalculusHausmann, D. / Mossakowski, T. / Schroder, L. et al. | 2005
- 247
-
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal LogicKlin, B. et al. | 2005
- 263
-
Ultrafilter Extensions for CoalgebrasKupke, C. / Kurz, A. / Pattinson, D. et al. | 2005
- 278
-
Equational Logic of Recursive Program SchemesMersch, J. G. et al. | 2005
- 293
-
The Category Theoretic Solution of Recursive Program SchemesMilius, S. / Moss, L. S. et al. | 2005
- 313
-
A Categorical Approach to SimulationsPalomino, M. / Meseguer, J. / Marti-Oliet, N. et al. | 2005
- 331
-
Behavioral Extensions of InstitutionsPopescu, A. / Rosu, G. et al. | 2005
- 348
-
Discrete Lawvere TheoriesPower, J. et al. | 2005
- 364
-
Final Semantics for Event-Pattern Reactive ProgramsSanchez, C. / Sipma, H. B. / Slanina, M. / Manna, Z. et al. | 2005
- 379
-
Complete Symbolic Reachability Analysis Using Back-and-Forth NarrowingThati, P. / Meseguer, J. et al. | 2005
- 395
-
Final Sequences and Final Coalgebras for Measurable SpacesViglizzo, I. D. et al. | 2005
- 408
-
Bireachability and Final MultialgebrasWalicki, M. et al. | 2005
- 424
-
Parametrized ExceptionsWalter, D. / Schroder, L. / Mossakowski, T. et al. | 2005
- 439
-
Property Preserving Redesign of SpecificationsZawlocki, A. / Marczynski, G. / Kosiuczenko, P. et al. | 2005