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 136 articles , 1 standard article )

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

1 2 3 ... 5 6 7 next

  1. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  2. Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří: Real-time strategy synthesis for timed-arc Petri net games via discretization (2016)
  3. van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum: Modelling and verifying the AODV routing protocol (2016)
  4. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  5. Chama, Imed Eddine; Belala, Nabil; Saidouni, Djamel Eddine: Formal modeling and analysis of business process timed constraints (2015)
  6. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  7. Gorrieri, Roberto; Versari, Cristian: Introduction to concurrency theory. Transition systems and CCS (2015)
  8. Valmari, Antti: On constructibility and unconstructibility of LTS operators from other LTS operators (2015)
  9. 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)
  10. Boiten, Eerke A.: Introducing extra operations in refinement (2014)
  11. Derrick, John; Boiten, Eerke: Relational concurrent refinement. III: Traces, partial relations and automata (2014)
  12. Su, Li; Gomez, Rodolfo; Bowman, Howard: Analysing neurobiological models using communicating automata (2014)
  13. Valmari, Antti: All linear-time congruences for familiar operators (2013)
  14. Vekris, Dimitris; Dima, Catalin: Efficient operational semantics for $EB^3$ for verification of temporal properties (2013)
  15. Leuschel, Michael; Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador: Static slicing of explicitly synchronized languages (2012)
  16. Sangiorgi, Davide (ed.); Rutten, Jan (ed.): Advanced topics in bisimulation and coinduction (2012)
  17. Ben-Hafaiedh, Imene; Graf, Susanne; Quinton, Sophie: Building distributed controllers for systems with priorities (2011)
  18. Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun: Concurrency and composition in a stochastic world (2010)
  19. Hermanns, Holger; Katoen, Joost-Pieter: The how and why of interactive Markov chains (2010)
  20. Lüttgen, Gerald; Vogler, Walter: Ready simulation for concurrency: it’s logical! (2010)

1 2 3 ... 5 6 7 next