Login / Signup
Using LOTOS in the specification of industrial bus communication protocols.
Perfecto Mariño
Miguel Angel Domínguez
Francisco Poza
Fernando Vázquez
Published in:
Comput. Networks (2004)
Keyphrases
</>
communication protocols
protocol specification
temporal ordering
process algebra
communication protocol
communication networks
industrial applications
high speed
neural network
data mining
high level
response time
database management systems
formal methods