tailieunhanh - .Concurrency Theory.Howard Bowman and Rodolfo GomezConcurrency TheoryCalculi and Automata for

.Concurrency Theory .Howard Bowman and Rodolfo Gomez Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems With 126 Figures .Howard Bowman Rodolfo Gomez Computing Laboratory University of Kent at Canterbury Canterbury Kent UK British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Library of Congress Control Number: 2005931433 ISBN-10: 1-85233-895-4 ISBN-13: 978-1-85233-895-4 Printed on acid-free paper © Springer-Verlag London Limited 2006 Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced,. | Howard Bowman Rodolfo Gomez Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems Springer Concurrency Theory Howard Bowman and Rodolfo Gomez Concurrency Theory CaUThdeeayorMo Un and Concurrent Systems c With 126 Figures .

TỪ KHÓA LIÊN QUAN