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, 199

By: Wolfgang Thomas (Editor)

Write A Review

Paperback | 10 March 1999

At a Glance

Paperback
340 Pages

Dimensions(cm)
27.94 x 21.59 x 1.8

Paperback

$144.75

or 4 interest-free payments of $36.19 with

Ships in 10 to 15 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Medicine Medicine in General Computing & I.T.Computer Science Artificial Intelligence Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic

Programming & Scripting Languages Compilers & Interpreters

Security Protocols and Specifications	p. 1
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis	p. 14
Reasoning About Concurrent Systems Using Types	p. 31
Testing Hennessy-Milner Logic with Recursion	p. 41
A Strong Logic Programming View for Static Embedded Implications	p. 56
Unfolding and Event Structure Semantics for Graph Grammars	p. 73
Expanding the Cube	p. 90
An Algebraic Characterization of Typability in ML with Subtyping	p. 104
Static Analysis of Processes for No Read-Up and No Write-Down	p. 120
A WP-calculus for OO	p. 135
The Recognizability Problem for Tree Automata with Comparisons between Brothers	p. 150
A Theory of "May" Testing for Asynchronous Languages	p. 165
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees	p. 180
Categorical Models of Explicit Substitutions	p. 197
Equational Properties of Mobile Ambients	p. 212
Model Checking Logics for Communicating Sequential Agents	p. 227
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects	p. 243
String Languages Generated by To tal Deterministic Macro Tree Transdu
Matching Specifications for Message Sequence Charts	p. 273
Probabilistic Temporal Logics via the Modal Mu-Calculus	p. 288
A ¿-calculus Process Semantics of Concurrent Idealised ALGOL	p. 306
Author Index	p. 323
Table of Contents provided by Publisher. All Rights Reserved.

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, 199

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Medicine in General

Being Patient

Close Encounters in Cancer World

Principles of Anatomy and Physiology

3rd Asia Pacific Edition

How to Find Flow

3 steps for high performance and deep resilience

Occupational Therapy in Australia

2nd Edition - Professional and Practice Issues

The Australian Policy Handbook

7th Edition - A Practical Guide to the Policymaking Process

Netter's Anatomy Flash Cards

6th edition

I Hate Myself. Now What?

A Step-by-Step Workbook for You and Your Therapist

Gray's Anatomy for Students

5th Edition

Rang & Dale's Pharmacology

10th Edition

Live Forever?

A Curious Scientist's Guide to Wellness, Ageing and Death

Heal Your Gut, Save Your Brain

The Five Pillars of Enhancing Your Gut and Optimizing Your Cognitive Health

Dopamine Nation

Why our Addiction to Pleasure is Causing us Pain

Moore's Clinically Oriented Anatomy

9th Edition (Revised)

Live to Eat

The food you crave, the nutrition you need: The instant #1 Sunday Times bestseller

Ferment

The Life-Changing Power of Microbes

Food for Life

The New Science of Eating Well

The Food For Life Cookbook

100+ Recipes Created with ZOE

How to Starve Cancer

...and Then Kill It With Ferroptosis

Taking Charge of Adult ADHD: 2 Edition

Proven Strategies to Succeed at Work, at Home, and in Relationships

The Age of Diagnosis

Are Medical Labels Doing Us More Harm Than Good? - THE MUST-READ SUNDAY TIMES BESTSELLER

The Low-FODMAP Recipe Book

Relieve Symptoms of IBS, Crohn's Disease & Other Gut Disorders in 4 6 Weeks

Renal Diet Cookbook for the Newly Diagnosed

The Complete Guide to Managing Kidney Disease and Avoiding Dialysis

The Mediterranean Diet Cookbook for Beginners

Mean Plans, Tips and Tricks, and Over 75 Recipes to Get You Started

Your Best Gut

The 28-Day Guide to Transform Your Life

This product is categorised by