Concurrent Programming, Open Systems and Formal Methods - 9783032052902

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on...

Rigorous Methods in Theory and Practice: Essays Dedicated to Egon B?rger on the

Formal Modeling : Actors; Open Systems, Biological Systems, Essays Dedicated ...

Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on ...