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)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 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 $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

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 Computer Science

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

A Brief History of Information Networks from the Stone Age to AI

The Tech Coup

How to Save Democracy from Silicon Valley

Creative Machines

AI, Art & Us

Empire of AI

Inside the reckless race for total domination

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Python All-in-One For Dummies

3rd Edition

The Shortest History of AI

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Metaheuristics in Engineering Applications

Advances in Metaheuristics

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Artificial Intelligence in Biomaterials Design and Development

Woodhead Publishing Series in Biomaterials

Sustainable Technologies for Transforming Businesses and Societies

The Keynote Lectures of the 6th International Conference on Entrepreneurship, Innovation and Leadership (ICEIL 2024)

Data Analytics and Learning

Proceedings of DAL 2024

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Artificial Intelligence over Infrared Images for Medical Applications

4th International Conference, AIIIMA 2025, Virtual Event, November 15, 2025, Proceedings

Knowledge Science, Engineering and Management

18th International Conference, KSEM 2025, Macao, China, August 4-7, 2025, Proceedings, Part I

Life 3.0

Being Human in the Age of Artificial Intelligence

The Art of Game Design

A Book of Lenses, Third Edition

This product is categorised by