Logics for concurrency : structure versus automata
Faron Moller, Graham Birtwistle (eds.)
Bok
·
Engelsk
·1996
Detaljer
Utgitt
Berlin : Springer , c1996
Omfang
XI, 266 s. : ill.
Opplysninger
"... a result of the VIIIth Banff Higher Order Workshop held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada" - Forordet.
