Introduction to the ISO specification language LOTOS. LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988.

References in zbMATH (referenced in 152 articles , 1 standard article )

Showing results 1 to 20 of 152.
Sorted by year (citations)

1 2 3 ... 6 7 8 next

  1. Jiang, Jian-Min; Zhu, Huibiao; Li, Qin; Zhao, Yongxin; Zhang, Shi; Gong, Ping; Hong, Zhong: Event-based functional decomposition (2020)
  2. Valmari, Antti: All congruences below stability-preserving fair testing or CFFD (2020)
  3. Garavel, Hubert: Nested-unit Petri nets (2019)
  4. Chane-Yack-Fa, Raphaël; Frappier, Marc; Mammar, Amel; Finkel, Alain: Parameterized verification of monotone information systems (2018)
  5. van Glabbeek, Rob J.: On the validity of encodings of the synchronous in the asynchronous (\pi)-calculus (2018)
  6. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  7. Bres, Emile; van Glabbeek, Rob; Höfner, Peter: A timed process algebra for wireless networks with an application in routing (extended abstract) (2016)
  8. Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří: Real-time strategy synthesis for timed-arc Petri net games via discretization (2016)
  9. van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum: Modelling and verifying the AODV routing protocol (2016)
  10. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of (\mathrmEB^3) specifications using CADP (2016)
  11. Chama, Imed Eddine; Belala, Nabil; Saidouni, Djamel Eddine: Formal modeling and analysis of business process timed constraints (2015)
  12. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  13. Gorrieri, Roberto; Versari, Cristian: Introduction to concurrency theory. Transition systems and CCS (2015)
  14. Sánchez Terraf, Pedro: Bisimilarity is not Borel (2015)
  15. Valmari, Antti: On constructibility and unconstructibility of LTS operators from other LTS operators (2015)
  16. van Glabbeek, Rob J.; Höfner, Peter: CCS: it’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (2015)
  17. Boiten, Eerke A.: Introducing extra operations in refinement (2014)
  18. Derrick, John; Boiten, Eerke: Relational concurrent refinement. III: Traces, partial relations and automata (2014)
  19. Su, Li; Gomez, Rodolfo; Bowman, Howard: Analysing neurobiological models using communicating automata (2014)
  20. Valmari, Antti: All linear-time congruences for familiar operators (2013)

1 2 3 ... 6 7 8 next