From action systems to distributed systems : the refinement approach / edited by Luigia Petre, Åbo Akademi University, Turku, Finland, Emil Sekerinski, McMaster University, Hamilton Canada.

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.

Bibliographic Details

Online Access:	Full Text (via Taylor & Francis)
Other Authors:	Petre, Luigia, 1974- (Editor), Sekerinski, E. (Emil), 1963- (Editor)
Format:	eBook
Language:	English
Published:	Boca Raton, FL : CRC Press, [2016]
Series:	Chapman & Hall/CRC computational science series.
Subjects:	Systems software.