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

Showing results 1 to 20 of 134.
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. van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum: Modelling and verifying the AODV routing protocol (2016)
  3. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  4. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  5. Gorrieri, Roberto; Versari, Cristian: Introduction to concurrency theory. Transition systems and CCS (2015)
  6. Valmari, Antti: On constructibility and unconstructibility of LTS operators from other LTS operators (2015)
  7. 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)
  8. Boiten, Eerke A.: Introducing extra operations in refinement (2014)
  9. Derrick, John; Boiten, Eerke: Relational concurrent refinement. III: Traces, partial relations and automata (2014)
  10. Su, Li; Gomez, Rodolfo; Bowman, Howard: Analysing neurobiological models using communicating automata (2014)
  11. Valmari, Antti: All linear-time congruences for familiar operators (2013)
  12. Vekris, Dimitris; Dima, Catalin: Efficient operational semantics for $EB^3$ for verification of temporal properties (2013)
  13. Leuschel, Michael; Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador: Static slicing of explicitly synchronized languages (2012)
  14. Sangiorgi, Davide (ed.); Rutten, Jan (ed.): Advanced topics in bisimulation and coinduction (2012)
  15. Ben-Hafaiedh, Imene; Graf, Susanne; Quinton, Sophie: Building distributed controllers for systems with priorities (2011)
  16. Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun: Concurrency and composition in a stochastic world (2010)
  17. Hermanns, Holger; Katoen, Joost-Pieter: The how and why of interactive Markov chains (2010)
  18. Lüttgen, Gerald; Vogler, Walter: Ready simulation for concurrency: it’s logical! (2010)
  19. Weber, Michael: An embeddable virtual machine for state space generation (2010) ioport
  20. Boiten, Eerke; Derrick, John; Schellhorn, Gerhard: Relational concurrent refinement. II: Internal operations and outputs (2009)

1 2 3 ... 5 6 7 next