MPG.eBooks - Search Results - "graph transformation"

Cover Image

1

Communication-Based Systems : Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

Published 2000

Springer Netherlands

Table of Contents: “... and Unfolding Construction -- Compositional Specification of Distributed Systems by Distributed Graph...”

Cover Image

2

Quality of Communication-Based Systems : Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

Published 1995

Springer Netherlands

“... specification and mathematical foundations of distributed systems using process algebra, graph transformations...”