Parametrized Exceptions (English)
- New search for: Walter, D.
- New search for: Schroder, L.
- New search for: Mossakowski, T.
- New search for: Walter, D.
- New search for: Schroder, L.
- New search for: Mossakowski, T.
- New search for: Fiadeiro, Jose Luiz
In:
Algebra and coalgebra in computer science; CALCO 2005
;
424-438
;
2005
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Parametrized Exceptions
-
Contributors:
-
Conference:International Conference; 1st, Algebra and coalgebra in computer science; CALCO 2005 ; 2005 ; Swansea
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE ; 3629 ; 424-438
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , [London]
-
Publication date:2005-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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