Pages that link to "Item:Q358351"

The following pages link to CMCS'03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5--6, 2003 (Q358351):

Displaying 2 items.

• Pre-Galois Connection on Coalgebras for Generic Component Refinement (Q2873691) (← links)
• Services and Contracts: Coalgebraically (Q5415620) (← links)