Search results for: J. C. M. Baeten
Lecture Notes in Computer Science > CONCUR '91 > 96-110
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 1. Invited Papers > 1-33
Lecture Notes in Computer Science > CONCUR '92 > 472-485
Lecture Notes in Computer Science > CONCUR '92 > 401-420
Lecture Notes in Computer Science > CONCUR'93 > 308-323
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 204-219
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 473-492
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 83-98
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 251-279
Lecture Notes in Computer Science > Formal Methods for the Design of Real-Time Systems > Models and Languages > 59-97
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 153-172