+612 9045 4394
 
CHECKOUT
Foundations of Software Science and Computation Structures : Second International Conference, Fossacs'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings - Wolfgang Thomas

Foundations of Software Science and Computation Structures

Second International Conference, Fossacs'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

By: Wolfgang Thomas (Editor)

Paperback

Published: 10th March 1999
Ships: 15 business days
15 business days
$125.05
or 4 easy payments of $31.26 with Learn more

The International Conference "Foundations of Software Science and Compu- tion Structures" (FOSSACS) is a constituent of the "Joint European Conferences on Theoryand Practice of Software" (ETAPS). The present volume contains the contributions to FOSSACS'99, the second conference in this series, which took place in Amsterdam. As formulated in the call for papers, FOSSACS focusses on "papers which o?er progress in foundational research with a clear signi?cance for software science. A central issue is theories and methods which support the speci?cation, tra- formation, veri?cation, and analysis of programs and software systems." The articles in this volume represent a wide spectrum of approaches to this general aim. In manypapers, one ?nds the studyof new concepts and methods which are motivated byrecent trends (or problems) in the practical use of software and information technology. The volume contains 18 contributed papers, preceded bythree invited papers. The ?rst, byM. Abadi, accompanies his "unifying invited lecture" addressed to the whole ETAPS audience. The second, byJ. Esparza and J. Knoop, contains an application of the results presented byJ. Esparza in his invited lecture to FOSSACS'99. The third summarizes an invited tutorial byD. Sangiorgi p- sented to ETAPS'99.

Security Protocols and Specificationsp. 1
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysisp. 14
Reasoning About Concurrent Systems Using Typesp. 31
Testing Hennessy-Milner Logic with Recursionp. 41
A Strong Logic Programming View for Static Embedded Implicationsp. 56
Unfolding and Event Structure Semantics for Graph Grammarsp. 73
Expanding the Cubep. 90
An Algebraic Characterization of Typability in ML with Subtypingp. 104
Static Analysis of Processes for No Read-Up and No Write-Downp. 120
A WP-calculus for OOp. 135
The Recognizability Problem for Tree Automata with Comparisons between Brothersp. 150
A Theory of "May" Testing for Asynchronous Languagesp. 165
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Treesp. 180
Categorical Models of Explicit Substitutionsp. 197
Equational Properties of Mobile Ambientsp. 212
Model Checking Logics for Communicating Sequential Agentsp. 227
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objectsp. 243
String Languages Generated by To tal Deterministic Macro Tree Transdu
Matching Specifications for Message Sequence Chartsp. 273
Probabilistic Temporal Logics via the Modal Mu-Calculusp. 288
A ¿-calculus Process Semantics of Concurrent Idealised ALGOLp. 306
Author Indexp. 323
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540657194
ISBN-10: 3540657193
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 330
Published: 10th March 1999
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.8
Weight (kg): 0.48