Ugo Montanari Libri

This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models. The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.

InhaltsverzeichnisFP6 Project Overviews.Project AEOLUS: An Overview.MOBIUS: Mobility, Ubiquity, Security.Sensoria Process Calculi for Service-Oriented Computing.Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks.Keynote Speakers.Software of the Future Is the Future of Software?.An Algorithmic Theory of Mobile Agents.Types to Discipline Interactions.Spatial-Behavioral Types, Distributed Services, and Resources.Integration of a Security Type System into a Program Logic.Calculi for Distributed Systems.PRISMA: A Mobile Calculus with Parametric Synchronization.On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.A Typed Calculus for Querying Distributed XML Documents.Flexible Modeling.Verification of Model Transformations: A Case Study with BPEL.A Fuzzy Approach for Negotiating Quality of Services.Algorithms and Systems for Global Computing.Scheduling to Maximize Participation.On the Limits of Cache-Oblivious Matrix Transposition.The KOA Remote Voting System: A Summary of Work to Date.Security, Anonymity and Type Safety.Security Types for Dynamic Web Data.Anonymity Protocols as Noisy Channels.A Framework for Automatically Checking Anonymity with ? CRL.A Framework for Type Safe Exchange of Mobile Code.

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems.

This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research.