Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Middelburg, C.A.
Volume
Title
229
Continuity controlled Hybrid Automata
Bergstra, J.A.
|
Middelburg, C.A.
225
Process algebra for Hybrid systems
Bergstra, J.A.
|
Middelburg, C.A.
215
A new equivalence for processes with timing. With an application to protocol verification
Baeten, J.C.M.
|
Middelburg, C.A.
|
Reniers, M.A.
214
Process algebra with nonstandard timing
Middelburg, C.A.
213
Revisiting timing in process algebra
Middelburg, C.A.
212
Operational conservativity with binding terms
Middelburg, C.A.
202
Variable binding operators in transition system specifications
Middelburg, C.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.
148
Algebra of timed frames
Bergstra, J.A.
|
Fokkink, W.J.
|
Middelburg, C.A.
129
Process Algebra Semantics of φSDL
Bergstra, J.A.
|
Middelburg, C.A.
90
On the Semantics of Modular Structuring Facilities in Specification Languages
Middelburg, C.A.
89
A Typed Logic of Partial Functions Reconstructed Classically
Jones, C.B.
|
Middelburg, C.A.
Online