There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-67628-7

ISBN (Electronic): 978-3-540-45148-8

Publication date (Print): 2000

DOI: 10.1007/10720327

SO-VID: 63714d7a-8b59-46f9-9d0c-77ad9010a01e

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Process Calculi for Coordination: From Linda to JavaSpaces
Authors: Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Polyvariant Program Specialisation with Property-based Abstraction
Authors: John P. Gallagher
On the Complexity of Optimal Hotlink Assignment
Authors: Tobias Jacobs

See all cited by

Logic-Based Program Synthesis and Transformation

Read this book at