search result

Cover von Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014, Revised Selected Papers
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8446
Media group: MONOGRAPHIE
Cover von Theoretical Aspects of Computing
ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15373
Media group: MONOGRAPHIE
Cover von Formal methods for open object-based distributed systems
9th IFIP WG 6.1 international conference : Paphos, Cyprus, June 6 - 8, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4468
Media group: MONOGRAPHIE
Cover von Generalizing the powerset construction, coalgebraically

Generalizing the powerset construction, coalgebraically

Year: 2010
Media group: ARTICLE
Cover von Formal Methods for Components and Objects
9th International Symposium, Graz, Austria, November 29 - December 1, 2010 : Revised Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 6957
Media group: MONOGRAPHIE
Cover von Formal Methods for Components and Objects
7th International Symposium, Sophia Antipolis, France, October 21 - 23, 2008, Revised Lectures
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 5751
Media group: MONOGRAPHIE
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 Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24 - 28, 2012, Revised Lectures
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 7866
Media group: MONOGRAPHIE
Cover von Formal Methods for Components and Objects
8th International Symposium, Eindhoven, The Netherlands, November 4 - 6, 2009, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 6286
Media group: MONOGRAPHIE
OPEN V 11.1.0.0