scholarly journals The I2C-bus in discrete-time process algebra

1997 ◽  
Vol 29 (1-2) ◽  
pp. 235-258 ◽  
Author(s):  
S.H.J. Bos ◽  
M.A. Reniers
Keyword(s):  
Discrete Time ◽  
Process Algebra ◽  
Time Process ◽  
I2c Bus

scholarly journals Discrete time process algebra

1996 ◽  
Vol 8 (2) ◽  
pp. 188-208 ◽  
Author(s):  
J. C. M. Baeten ◽  
J. A. Bergstra
Keyword(s):  
Discrete Time ◽  
Process Algebra ◽  
Time Process

scholarly journals Discrete time process algebra

2006 ◽  
pp. 401-420 ◽  
Author(s):  
J. C. M. Baeten ◽  
J. A. Bergstra
Keyword(s):  
Discrete Time ◽  
Process Algebra ◽  
Time Process

scholarly journals Discrete Time Process Algebra and the Semantics of SDL

2001 ◽  
pp. 1209-1268 ◽  
Author(s):  
J.A. Bergstra ◽  
C.A. Middelburg ◽  
Y.S. Usenko
Keyword(s):  
Discrete Time ◽  
Process Algebra ◽  
Time Process
Sign in / Sign up

Export Citation Format

Share Document