answersLogoWhite

0

Glynn Winskel has written:

'The formal semantics of programming languages'

'Category theory and models for parallel computation'

'A compositional model of MOS circuits'

'On the composition and decomposition of assertions'

'Petri nets, algebras and morphisms'

'Relating two models of hardware'

User Avatar

Wiki User

10y ago

What else can I help you with?