Volume 82; Issue 1

1

A Coalgebraic Semantics for Epistemic Programs

Year:
2003
Language:
english
File:
PDF, 256 KB
english, 2003
2

State-based Components Made Generic

Year:
2003
Language:
english
File:
PDF, 226 KB
english, 2003
3

A hierarchy of probabilistic system types

Year:
2003
Language:
english
File:
PDF, 235 KB
english, 2003
4

Generalized Coiteration Schemata

Year:
2003
Language:
english
File:
PDF, 234 KB
english, 2003
5

On Expressivity and Compositionality in Logics for Coalgebras

Year:
2003
Language:
english
File:
PDF, 242 KB
english, 2003
6

Simulations in Coalgebra

Year:
2003
Language:
english
File:
PDF, 239 KB
english, 2003
7

Coinduction in Control of Partially Observed Discrete-Event Systems

Year:
2003
Language:
english
File:
PDF, 221 KB
english, 2003
8

Stone Coalgebras

Year:
2003
Language:
english
File:
PDF, 235 KB
english, 2003
10

Coalgebraic Semantics for Positive Modal Logic

Year:
2003
Language:
english
File:
PDF, 197 KB
english, 2003
11

Towards a theory of mathematical operational semantics

Year:
2003
Language:
english
File:
PDF, 167 KB
english, 2003
13

Preface: Volume 82, Issue 1

Year:
2003
Language:
english
File:
PDF, 47 KB
english, 2003
14

On a Description of Terminal Coalgebras and Iterative Theories

Year:
2003
Language:
english
File:
PDF, 187 KB
english, 2003
15

A Coalgebraic Approach to Kleene Algebra with Tests

Year:
2003
Language:
english
File:
PDF, 146 KB
english, 2003
16

Substitution in Non-wellfounded Syntax with Variable Binding

Year:
2003
Language:
english
File:
PDF, 192 KB
english, 2003
17

Computable Functions on Final Coalgebras

Year:
2003
Language:
english
File:
PDF, 179 KB
english, 2003
18

Inductive Behavioral Proofs by Unhiding

Year:
2003
Language:
english
File:
PDF, 212 KB
english, 2003
19

Modal Logics for Observation Equivalences

Year:
2003
Language:
english
File:
PDF, 233 KB
english, 2003
20

Logical Construction of Final Coalgebras

Year:
2003
Language:
english
File:
PDF, 238 KB
english, 2003