Del 9560Semantics, Logics, and CalculiChristian W. Probst, Chris Hankin, René Rydhof HansenHäftad, 2015566 kr
Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College WorkshopC HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal NagarajanInbunden, 19952 481 kr
Coordination Programming: Mechanisms, Models And SemanticsANDREOLI J M, Jean-marc Andreoli, Chris Hankin, D Le MetayerInbunden, 19962 011 kr
Del 9560Semantics, Logics, and CalculiChristian W. Probst, Chris Hankin, René Rydhof HansenHäftad, 2015566 kr