Theoretical Aspects of Computer Software : 4th International Symposium, TACS 2001 Sendai, Japan, October 29-31, 2001 Proceedings

Lecture Notes in Computer Science -- Theoretical Aspects of Computer Software -- Copyright -- Foreword -- Preface -- Program Committee -- Additional Referees -- Table of Contents -- A Spatial Logic for Concurrency (Part I) -- A Typed Process Calculus for Fine-Grained Resource Access Control in Distr...

Full description

Bibliographic Details
Main Author: Goos, Gerhard (Author)
Other Involved Persons: Hartmanis, Juris (Contributor) ; van Leeuwen, Jan (Contributor)
Format: eBook
Language:English
Published: Berlin/Heidelberg : Springer Berlin Heidelberg 2001
Edition:1st ed.
ISBN:9783540455004
3540455000
9783540427360
3540427368
Item Description:Description based on publisher supplied metadata and other sources
Physical Description:1 online resource (572 pages)
Subjects:
Other Editions:Show all 2 Editions
QR Code: Show QR Code