search result

Cover von Selected papers of the workshop on topology and completion in semantics, Chastres, France, 18 - 20 November 1993
Search for this author
Year: 1995
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 151. 1995, 1
Media group: SPECIAL ISSUE
Cover von Advanced Topics in Bisimulation and Coinduction
Search for this author
Year: 2012
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 52
Media group: MONOGRAPHIE
Cover von Coalgebraic methods in computer science; 1/2
S. 1 - 200
Search for this author
Year: 2002
Publisher: Amsterdam, Elsevier
Count: 1/2
Media group: SPECIAL ISSUE
Cover von Generalizing the powerset construction, coalgebraically

Generalizing the powerset construction, coalgebraically

Year: 2010
Media group: ARTICLE
Cover von Algebra and coalgebra in computer science
first international conference, Swansea, UK, September 3 - 6, 2005, proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3629
Media group: MONOGRAPHIE
Cover von Coalgebraic methods in computer science; 1/2
S. 1 - 259
Search for this author
Year: 2001
Publisher: Amsterdam, Elsevier
Count: 1/2
Media group: SPECIAL ISSUE
Cover von It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 10865
Media group: MONOGRAPHIE
Cover von Enhanced coalgebraic bisimulation

Enhanced coalgebraic bisimulation

Author: Rot, Jurriaan
Year: 2017
Coalgebraic Logic
Media group: ARTICLE
Cover von Ten years of concurrency semantics
selected papers of the Amsterdam Concurrency Group
Search for this author
Year: 1992
Publisher: Singapore, World Scientific
Media group: MONOGRAPHIE
Cover von Horizons of the Mind
A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 8464
Media group: MONOGRAPHIE
OPEN V 11.1.0.0