Aperçu gratuit du livre Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (S.E.R.C.), 23-25 July 1990, University of Leicester, UK