Download or read book From Action Systems to Distributed Systems written by Luigia Petre and published by Chapman and Hall/CRC. This book was released on 2016-02-15 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses the impact of the "Action Systems" formal method in Computer Science research. Formal Methods in general address the question of transforming software engineering into a mature engineering discipline.