Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorTACS 2001 (2001 : Sendai-shi, Miyagi-ken, Japan)
TitleTheoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.)
Imprint Berlin : Springer, c2001
Descript xv, 559 p. ; 24 cm

CONTENT

Spatial Logic -- Boxed Ambients -- Fine-Grained Resource Access Control -- Resource-Passing Concurrent Programming -- Solo Diagrams -- Synchronized Graph Rewriting -- Fixed-Point Logic -- Termination Proofs and Complexity Certification -- Renee Equation for Algorithmic Complexity -- Nominal Logic -- Logic Programming -- Linear Time Query Processing Algorithm -- Model-Checking LTL with Regular Valuations -- Polynomial Hybrid Automata -- Non-structural Subtype Entailment -- Lossy Channel Systems -- Control-Flow Analysis -- Infinite Intersection and Union Types -- Lambda Calculus -- Lightweight Analysis of Object Interactions -- Assembly Programs -- UDP Calculus -- Unison: A File Synchronizer and Its Specification


Computer software -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)005.1015113 T119TCHECK SHELVES

Chulalinet's Book Delivery Request




Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram