Compositional Model Extraction for Higher-Order Concurrent Programs

First Author: Ghica D

Attributed to: Modular Abstraction and Abstraction Refinement: A Game-Semantic Approach funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/11691372_20

Publication URI: http://dx.doi.org/10.1007/11691372_20

Type: Book Chapter

Book Title: Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings (2006)

Page Reference: 303-317

ISBN: 978-3-540-33056-1