Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Baeten, J.C.M.
Volume
Title
215
A new equivalence for processes with timing. With an application to protocol verification
Baeten, J.C.M.
|
Middelburg, C.A.
|
Reniers, M.A.
200
Real time process algebra with time-dependent conditions
Baeten, J.C.M.
|
Middelburg, C.A.
198
Process algebra with timing: Real time and discrete time
Baeten, J.C.M.
|
Middelburg, C.A.
123
Process Algebra with Propositional Signals
Baeten, J.C.M.
|
Bergstra, J.A.
Online