Development of Satellite Communication Networks based on LOTOS

This publication has 10 references indexed in Scilit:

• PRODAT, a multi-functional satellite mobile communication system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• LOTOS extended with probabilistic behaviours
  Formal Aspects of Computing, 1993
• TIC: A timed calculus
  Formal Aspects of Computing, 1993
• A LOTOS based performance evaluation tool
  Computer Networks and ISDN Systems, 1993
• LOTOS-like process algebras with urgent or timed interactions
  Published by Elsevier ,1992
• An upward compatible timed extension to LOTOS
  Published by Elsevier ,1992
• Tool Demonstration: The Lotosphere Integrated Tool Environment Lite
  Published by Elsevier ,1992
• Tool Demonstration: A Cross Compiling Experiment: a PC Implementation of a LOTOS Spec
  Published by Elsevier ,1992
• State exploration by transformation with lola
  Published by Springer Nature ,1990
• LOTOS based derivation methodology in the PRODAT project
  Annual Review in Automatic Programming, 1988