Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Bergstra, J.A.
Volume
Title
233
Linear Projective Program Syntax
Bergstra, J.A.
|
Bethke, I.
231
Machine function based control code algebras
Bergstra, J.A.
230
Execution Architectures for Program Algebra
Bergstra, J.A.
|
Ponse, A.
229
Continuity controlled Hybrid Automata
Bergstra, J.A.
|
Middelburg, C.A.
227
Axioms for SNABOK, a System and Network Administration Body of Knowledge : missing link stage of ontology process
Bergstra, J.A.
225
Process algebra for Hybrid systems
Bergstra, J.A.
|
Middelburg, C.A.
160
A calculus for sequential logic with 4 values
Bergstra, J.A.
|
Pol, J.C. van de
155
A logic for signal inserted timed frames
Bergstra, J.A.
|
Fokkink, W.J.
|
Middelburg, K.
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.
123
Process Algebra with Propositional Signals
Baeten, J.C.M.
|
Bergstra, J.A.
122
Network algebra for synchronous and asynchronous dataflow
Bergstra, J.A.
|
Stefanescu, G.
18
Process algebra semantics for queues
Bergstra, J.A.
|
Tiuryn, J.
16
Module algebra for relational specifications
Bergstra, J.A.
3
Put and get, primitives for synchronous unreliable message passing
Bergstra, J.A.
2
A process creation mechanism in process algebra
Bergstra, J.A.
Online