Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642327834, 9783642327841

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Trace Semantics via Determinization

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_7 ◽

2012 ◽

pp. 109-129 ◽

Cited By ~ 12

Author(s):

Bart Jacobs ◽

Alexandra Silva ◽

Ana Sokolova

Keyword(s):

Trace Semantics

Download Full-text

From Transitions to Executions

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_10 ◽

2012 ◽

pp. 170-190

Author(s):

Eleftherios Matsikoudis ◽

Edward A. Lee

Download Full-text

From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_1 ◽

2012 ◽

pp. 1-19 ◽

Cited By ~ 1

Author(s):

Samson Abramsky ◽

Jonathan Zvesper

Keyword(s):

Self Reference

Download Full-text

On Finitary Functors and Their Presentations

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_4 ◽

2012 ◽

pp. 51-70 ◽

Cited By ~ 3

Author(s):

Jiří Adámek ◽

Stefan Milius ◽

Lawrence S. Moss

Download Full-text

Permutations in Coinductive Graph Representation

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_12 ◽

2012 ◽

pp. 218-237 ◽

Cited By ~ 4

Author(s):

Celia Picard ◽

Ralph Matthes

Keyword(s):

Graph Representation

Download Full-text

Internal Models for Coalgebraic Modal Logics

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_13 ◽

2012 ◽

pp. 238-258

Author(s):

Toby Wilkinson

Keyword(s):

Internal Models ◽

Modal Logics

Download Full-text

Lax Extensions of Coalgebra Functors

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_9 ◽

2012 ◽

pp. 150-169 ◽

Cited By ~ 7

Author(s):

Johannes Marti ◽

Yde Venema

Download Full-text

Structural Operational Semantics for Continuous State Probabilistic Processes

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_5 ◽

2012 ◽

pp. 71-89 ◽

Cited By ~ 3

Author(s):

Giorgio Bacci ◽

Marino Miculan

Keyword(s):

Operational Semantics ◽

Continuous State ◽

Structural Operational Semantics ◽

Probabilistic Processes

Download Full-text

Stream Automata Are Coalgebras

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_6 ◽

2012 ◽

pp. 90-108 ◽

Cited By ~ 3

Author(s):

Vincenzo Ciancia ◽

Yde Venema

Download Full-text

Tracing the Man in the Middle in Monoidal Categories

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_11 ◽

2012 ◽

pp. 191-217 ◽

Cited By ~ 1

Author(s):

Dusko Pavlovic

Keyword(s):

Monoidal Categories ◽

Man In The Middle

Download Full-text

Coalgebraic Methods in Computer Science - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Trace Semantics via Determinization

From Transitions to Executions

From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

On Finitary Functors and Their Presentations

Permutations in Coinductive Graph Representation

Internal Models for Coalgebraic Modal Logics

Lax Extensions of Coalgebra Functors

Structural Operational Semantics for Continuous State Probabilistic Processes

Stream Automata Are Coalgebras

Tracing the Man in the Middle in Monoidal Categories

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications