Del 9560Semantics, Logics, and CalculiChristian W. Probst, Chris Hankin, René Rydhof HansenHäftad, 2015563 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 571 kr
Coordination Programming: Mechanisms, Models And SemanticsANDREOLI J M, Jean-marc Andreoli, Chris Hankin, D Le MetayerInbunden, 19962 112 kr
Del 9560Semantics, Logics, and CalculiChristian W. Probst, Chris Hankin, René Rydhof HansenHäftad, 2015563 kr