Alcaraz, Salvador

• Elektronika ir Elektrotechnika Vol. 23 No. 2 (2017) - TELECOMMUNICATIONS ENGINEERING
  Formal Specification of Spanning Tree Protocol Using ACP
  Abstract  PDF
• Elektronika ir Elektrotechnika Vol. 24 No. 4 (2018) - TELECOMMUNICATIONS ENGINEERING
  Study on OSPF Algebraic Formal Modelling Using ACP
  Abstract  PDF
• Elektronika ir Elektrotechnika Vol. 25 No. 5 (2019) - TELECOMMUNICATIONS ENGINEERING
  Modelling VM Migration in a Fog Computing Environment
  Abstract  PDF