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

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

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 $79.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

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Medicine in General

The Energy Game

A Science-backed System to Recharge Without Pressing Pause on Life

Life After Weight-Loss Medication

Nourish your body and keep the weight off - plus recipes and meal plans

Unlearn Your Pain

The Science of Recovering from Chronic Pain, Fatigue, Anxiety, and Depression

Principles of Anatomy and Physiology

3rd Asia Pacific Edition

Food and Nutrition

Sustainable Food and Health Systems 4th Edition

I'm Your Peri Godmother

A happily-ever-after guide to kicking perimenopause in the ovaries

Cultural Safety in Trauma-Informed Practice from a First Nations Perspective

Billabongs of Knowledge

Gray's Anatomy for Students

5th Edition

Live to Eat

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

The Age Code

The New Science of Food and How It Can Save Us

Cure Your Fatigue, Second Edition

The Root Cause and How to Fix It On Your Own

The Food For Life Cookbook

100+ Recipes Created with ZOE

Ferment

The Life-Changing Power of Microbes

Havard's Nursing Guide to Drugs

12th Edition

Art Cure

Longlisted for the 2026 Womens Prize for Non-Fiction - The science of how the arts transform our health

ADHD Body and Mind

A Compassionate Guide to Rewilding Your Nervous System with Neuroscience, Nutrition, and Gut-Brain Health

The Hunger Code

how to reset your body's fat thermostat by breaking the ultra-processed-food habit

21 Days To A Less Anxious You

A toolkit for harnessing the vagus nerve, somatic healing and the power of your own body to soothe you physically and mentally

No-Nonsense Nutrition

Science-based Principles and Easy Recipes to Reset Appetite, Boost Energy, Feel Amazing and Transform Your Health

Mediterranean Diet - The Australian Way

The new bestselling cookbook from Australia's favourite food site for fans of RecipeTin Eats, Jamie Oliver and Michael Mosley

Being Patient

Close Encounters in Cancer World

Food for Life

The New Science of Eating Well

Internal Family Systems Skills Training Manual

Trauma-Informed Treatment for Anxiety, Depression, Ptsd & Substance Abuse

How To Change Your Mind

New Science of Psychedelics

This product is categorised by

Longlisted for the 2026 Womens Prize for Non-Fiction - The science of how the arts transform our health