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 Thomas, Wolfgang; FOSSACS 99 (1999 : Amsterdam, Netherlands)

• ISBN13: 9783540657194
• ISBN10: 3540657193
• Format: Paperback
• Copyright: 1999-04-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS '99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99.The 18 revised full papers presented were carefully selected from a total of 40 submissions. Also included are three invited papers. The central issues of the papers are theories and methods which suport the specification, transformation, verification and analysis of programs and software systems.

Table of Contents

Security Protocols and Specifications	1	(14)
M. Abadi
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis	14	(17)
J. Esparaza
J. Knoop
Reasoning About Concurrent Systems Using Types	31	(10)
D. Sangiorgi
Testing Hennessy-Milner Logic with Recursion	41	(15)
L. Aceto
A. Ingolfsdottir
A Strong Logic Programming View for Static Embedded Implications	56	(17)
R. Arruabarrena
P. Lucio
M. Navarro
Unfolding and Event Structure Semantics for Graph Grammars	73	(17)
P. Baldan
A. Corradini
U. Montanari
Expanding the Cube	90	(14)
G. Barthe
An Algebraic Characterization of Typability in ML with Subtyping	104	(16)
M. Benke
Static Analysis of Processes for No Read-Up and No Write-Down	120	(15)
C. Bodei
P. Degano
F. Nielson
H. R. Nielson
A WP-calculus for OO	135	(15)
F. S. de Boer
The Recognizability Problem for Tree Automata with Comparisons between Brothers	150	(15)
B. Bogaert
F. Seynhaeve
S. Tison
A Theory of ``May'' Testing for Asynchronous Languages	165	(15)
M. Boreale
R. De Nicola
R. Pugliese
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees	180	(17)
E. Dantsin
A. Voronkov
Categorical Models of Explicit Substitutions	197	(15)
N. Ghani
V. de Paiva
E. Ritter
Equational Properties of Mobile Ambients	212	(15)
A. D. Gordon
L. Cardelli
Model Checking Logic for Communicating Sequential Agents	227	(16)
M. Huhn
P. Niebert
F. Wallner
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects	243	(15)
M. Lenisa
String Languages Generated by Total Deterministic Macro Tree Transducers	258	(15)
S. Maneth
Matching Specifications for Message Sequence Charts	273	(15)
A. Muscholl
Probabilistic Temporal Logics via the Modal Mu-Calculus	288	(18)
M. Narasimha
R. Cleveland
P. Iyer
A π-calculus Process Semantics of Concurrent Idealised ALGOL	306	(17)
C. Rockl
D. Sangiorgi
Author Index	323