%0 Book
%A / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK  
%T Semantics for concurrency : proceedings of the International BCS-FACS Workshop
%U /book/101488431/Semantics-for-concurrency-proceedings-of-the-Int/