Foundations of Software Science and Computation Structures

5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings

By: Mogens Nielsen (Editor), Uffe Engberg (Editor)

Write A Review

Paperback | 22 March 2002

At a Glance

Paperback
456 Pages

Dimensions(cm)
23.5 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), thirteen satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS and VISS), eight invited lectures (not including those that are speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

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 Reference, Information & Interdisciplinary Subjects Research & Information Information theory Cybernetics & Systems Theory Medicine Medicine in General Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering

Mathematical Theory of Computation Systems Analysis & Design Mathematics Mathematical Foundation Mathematical Logic Programming & Scripting Languages

Invited Paper
Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations	p. 1
Contributed Papers
Verification for JavaÆs Reentrant MultithreadingConcept	p. 5
On the Integration of Observability and Reachability Concepts	p. 21
ProvingCorrectness of Timed Concurrent Constraint Programs	p. 37
Generalised Regular MSC Languages	p. 52
On Compositional Reasoningin the Spi-calculus	p. 67
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability	p. 82
A First-Order One-Pass CPS Transformation	p. 98
The Demonic Product of Probabilistic Relations	p. 114
MinimizingTransition Systems for Name PassingCalculi: A Co-algebraic Formulation	p. 129
Varieties of Effects	p. 144
A Characterization of Families of Graphs in Which Election Is Possible	p. 159
Equivalence-Checkingwith One-Counter Automata: A Generic Method for ProvingLower Bounds	p. 172
Efficient Type Matching	p. 187
Higher-Order Pushdown Trees Are Easy	p. 205
Conflict Detection and Resolution in Access Control Policy Specifications	p. 223
Logics Admitting Final Semantics	p. 238
Model Checking Fixed Point Logic with Chop	p. 250
On Model Checking Durational Kripke Structures	p. 264
Model-Checking Infinite Systems Generated by Ground Tree Rewriting	p. 280
Bounded MSC Communication	p. 295
The Informatic Derivative at a Compact Element	p. 310
Heterogeneous Development Graphs and Heterogeneous Borrowing	p. 326
Notions of Computation Determine Monads	p. 342
A Calculus of Circular Proofs and Its Categorical Semantics	p. 357
VerifyingTemporal Properties UsingExplicit Approximants: Completeness for Context-free Processes	p. 372
Note on the Tableau Technique for Commutative Transition Systems	p. 387
A Semantic Basis for Local Reasoning	p. 402
Linearity and Bisimulation	p. 417
Author Index	p. 435
Table of Contents provided by Publisher. All Rights Reserved.

Foundations of Software Science and Computation Structures

5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Generative Artificial Intelligence

Technology and Applications

Software Architecture with C++ - Second Edition

Designing robust C++ systems with modern architectural practices

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Systems Analysis and Design

12th edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

DAMA-DMBOK

Data Management Body of Knowledge

Rust Atomics and Locks

Low-Level Concurrency in Practice

Business Driven Information Systems ISE

9th Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Fundamentals of Software Engineering

From Coder to Engineer

UX For Beginners

A Crash Course in 100 Short Lessons

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

AI Systems Performance Engineering

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

Exploring Research Through Co-Design

Multiple Perspectives for Collaborative Inquiry

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Rust Programming in easy steps

In Easy Steps

This product is categorised by