Sign in to your account or register new one to have full control over your orders, receive bonuses and more.
New customer? Register
Subtotal: 0.00
Total Items In Cart:
This text covers important research lines of the theory of traces. Each chapter of the book is devoted to one research line and can be read independently, hence it is suitable for advanced courses and seminars on formal language theory and the theory of concurrent systems.