×

LOTOS

swMATH ID: 2961
Software Authors: Bolognesi, T., Brinksma, E.
Description: 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.
Homepage: http://cserg0.site.uottawa.ca/lotos/
Keywords: communications protocols; LOTOS; specification language; distributed systems; calculus of communicating systems; CCS; abstract data type; operational semantics; interpreter
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; E-LOTOS; PVS; Circus; csp2B; GreatSPN; M-TREE; BISIMULATOR; PRISM; Kronos; Bandera; Java PathFinder; Maude; CAESAR; Exp.Open
Referenced in: 129 Publications
all top 5

Referenced by 199 Authors

8 Derrick, John
7 Boiten, Eerke A.
7 Hermanns, Holger
6 Bowman, Howard
6 Valmari, Antti
5 Fecher, Harald
5 Garavel, Hubert
5 Majster-Cederbaum, Mila E.
5 Santone, Antonella
4 Inverardi, Paola
4 Katoen, Joost-Pieter
4 van Glabbeek, Robert Jan
4 Wu, Jinzhao
3 Bolognesi, Tommaso
3 Brinksma, Ed
3 De Francesco, Nicoletta
3 Frappier, Marc
3 Gorrieri, Roberto
3 Höfner, Peter
3 Kurki-Suonio, Reino
3 Serwe, Wendelin
3 Vaglini, Gigliola
3 Vogler, Walter
2 Barbuti, Roberto
2 Bernardo, Marco
2 Cleaveland, Rance
2 Fischer, Clemens
2 Graf, Susanne
2 Joung, Yuh-Jzer
2 Katz, Shmuel
2 Lang, Frédéric
2 Larsen, Kim Guldstrand
2 Lüttgen, Gerald
2 Mateescu, Radu
2 Priami, Corrado
2 Rensink, Arend
2 Salaün, Gwen
2 Sangiorgi, Davide
2 Steen, M. W. A.
2 Su, Li
2 Tienari, Martti
2 Wehrheim, Heike
1 Akhtar, Sabina
1 Aldini, Alessandro
1 Apvrille, L.
1 Baier, Christel
1 Barnard, Philip
1 Belala, Nabil
1 Ben-Hafaiedh, Imene
1 Billington, Jonathan
1 Boreale, Michele
1 Bres, Emile
1 Briand, J. P.
1 Bryans, Jeremy W.
1 Carchiolo, Vincenza
1 Cavalli, Ana R.
1 Celikkan, Ufuk
1 Chama, Imed Eddine
1 Chane-Yack-Fa, Raphaël
1 Chen, Taolue
1 Ciapessoni, Emanuele
1 Corradini, Flavio
1 Corsetti, E.
1 Coste, Nicolas
1 Courtiat, Jean-Pierre
1 Cusack, Elspeth
1 D’Argenio, Pedro Rubén
1 Das, Anindya Bijoy
1 de O. Braga, Christiano
1 De Saqui-Sannes, Pierre
1 Dima, Cătălin
1 Donatelli, Susanna
1 Dong, Yifei
1 Eisentraut, Christian
1 Eloranta, Jaana
1 Ernberg, Patrik
1 Evrard, Hugues
1 Fehri, M. C.
1 Finkel, Alain
1 Fiore, Marcelo P.
1 Forman, Ira R.
1 Fraikin, Benoît
1 Francez, Nissim
1 Fredlund, Lars-åke
1 Froebel, Peter
1 Gallasch, Guy Edward
1 Gomez, Rodolfo
1 Gong, Ping
1 Gradara, Sara
1 Grumberg, Orna
1 Haeusler, Edward Hermann
1 Han, Bing
1 Hennessy, Matthew C. B.
1 Holcombe, Mike
1 Hong, Zhong
1 Ipate, Florentin
1 Jensen, Peter Gjøl
1 Jia, Guoping
1 Jiang, Jianmin
1 Jonsson, Bengt
...and 99 more Authors

Referencing Publications by Year