Concurrent Programming, Open Systems and Formal Methods - 9783032052902

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

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

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

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

Concurrent Euclid, the Unix* System, and Tunis by Holt Addison Wesley Softcover