|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
20 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces |
Klin, Bartek |
2004 |
106 | C |
p. 201-218 18 p. |
artikel |
|
| 2 | A Coalgebraic Perspective on Monotone Modal Logic |
Hansen, Helle Hvid |
2004 |
106 | C |
p. 121-143 23 p. |
artikel |
|
| 3 | Algebraic Semantics for Coalgebraic Logics |
Kupke, Clemens |
2004 |
106 | C |
p. 219-241 23 p. |
artikel |
|
| 4 | A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure |
Monteiro, Luís |
2004 |
106 | C |
p. 261-277 17 p. |
artikel |
|
| 5 | Automata and Fixed Point Logics for Coalgebras |
Venema, Yde |
2004 |
106 | C |
p. 355-375 21 p. |
artikel |
|
| 6 | Coalgebras and Modal Expansions of Logics |
Kurz, Alexander |
2004 |
106 | C |
p. 243-259 17 p. |
artikel |
|
| 7 | Comparing Operational Models of Name-Passing Process Calculi |
Fiore, Marcelo |
2004 |
106 | C |
p. 91-104 14 p. |
artikel |
|
| 8 | From Comodels to Coalgebras: State and Arrays |
Power, John |
2004 |
106 | C |
p. 297-314 18 p. |
artikel |
|
| 9 | From Iterative Algebras to Iterative Theories |
Adámek, Jiří |
2004 |
106 | C |
p. 3-24 22 p. |
artikel |
|
| 10 | Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories |
Moss, Lawrence S. |
2004 |
106 | C |
p. 279-295 17 p. |
artikel |
|
| 11 | Modeling Fresh Names in the π-calculus Using Abstractions |
Bruni, Roberto |
2004 |
106 | C |
p. 25-41 17 p. |
artikel |
|
| 12 | Modularity of Behaviours for Mathematical Operational Semantics |
Kick, Marco |
2004 |
106 | C |
p. 185-200 16 p. |
artikel |
|
| 13 | On Equivalences for a Class of Timed Regular Expressions |
Pucella, Riccardo |
2004 |
106 | C |
p. 315-333 19 p. |
artikel |
|
| 14 | On Logics for Coalgebraic Simulation |
Cîrstea, Corina |
2004 |
106 | C |
p. 63-90 28 p. |
artikel |
|
| 15 | Predicate and Relation Lifting for Parametric Algebraic Specifications |
Tews, Hendrik |
2004 |
106 | C |
p. 335-353 19 p. |
artikel |
|
| 16 | Preface |
Adámek, Jiří |
2004 |
106 | C |
p. 1-2 2 p. |
artikel |
|
| 17 | Recursive Coalgebras from Comonads |
Capretta, Venanzio |
2004 |
106 | C |
p. 43-61 19 p. |
artikel |
|
| 18 | Relating Two Approaches to Coinductive Solution of Recursive Equations |
Jacobs, Bart |
2004 |
106 | C |
p. 145-166 22 p. |
artikel |
|
| 19 | Relationally Staged Computations in Calculi of Mobile Processes |
Ghani, Neil |
2004 |
106 | C |
p. 105-120 16 p. |
artikel |
|
| 20 | Trace Semantics for Coalgebras |
Jacobs, Bart |
2004 |
106 | C |
p. 167-184 18 p. |
artikel |
20 gevonden resultaten