activity
20092026
most citedBisimulation of Labelled State-to-Function Transition Systems Coalgebraically

11 citations · 20 across the 9 of their papers we have counts for

collaborators
Showing cs.CEShow all

1 paper · 1 filter

cs.CE2009

Proceedings Second International Workshop on Computational Models for Cell Processes

Ralph-Johan Back, Ion Petre, Erik de Vink

The second international workshop on Computational Models for Cell Processes (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction…