Lotos Bibliography

Bibliography Logo

The following bibliography was largely collected by the author, with contributions from various individuals. There are known gaps. If your favourite papers are not here, please let the author know! The following is an approximation to the one you can retrieve in BibTeX form. Some of these papers are separately classified by application. You might also wish to look at the separate bibliography produced by INRIA Rhône-Alpes.

Ahooja-Sarikaya-1986
R. Ahooja and Behcet Sarikaya. Comparing normal forms obtained from ESTELLE and LOTOS specifications. In Gregor von Bochmann and Behcet Sarikaya, editors, Proc. Protocol Specification, Testing and Verification VI, pages 373-384. North-Holland, Amsterdam, Netherlands, June 1986.
Alderden-1990
R. Alderden. COOPER - The compositional construction of a canonical tester. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 13-18. North-Holland, Amsterdam, Netherlands, 1990.
Amyot-Bordeleau-Buhr-Logrippo-1996
Daniel Amyot, F. Bordeleau, Raymond J. A. Buhr, and Luigi M. S. Logrippo. Formal support for design techniques: A time-threads LOTOS approach. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Proc. Formal Description Techniques VIII, pages 57-72. Chapman-Hall, London, UK, 1996.
Ang-1990
Swee Leng Lawrence Ang. Time extensions to LOTOS: A case analysis. Master's thesis, Department of Computing Science and Mathematics, University of Stirling, UK, April 1990.
Aujla-Fletcher-1988
Sukhvinder S. Aujla and M. Fletcher. The boyer-moore theorem-prover and LOTOS. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, September 1988.
Azcorra-1986
A. Azcorra. Especificación en LOTOS de un protocolo de nivel de enlace. Master's thesis, ETSI Telecomunicación-UPM, E-28040 Madrid, November 1986.
Azcorra-Vazquez-AlvarezCampana-Vinyes-1993
Arturo Azcorra, Enrique Vázquez, M. Alvarez-Campana, and J. Vinyes. Formal description techniques at work: An ISDN Q.931 implementation using LOTOS. In André A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pages 175-190. North-Holland, Amsterdam, Netherlands, May 1993.
Azema-Drira-Vernadat-1990
Pierre Azema, K. Drira, and F. Vernadat. A bus instrumentation protocol specified in LOTOS. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
Barbeau-vonBochmann-1990
M. Barbeau and Gregor von Bochmann. Deriving analysable Petri Nets from LOTOS specifications. Technical Report 707, Department of Computer Science, Université de Montréal, Montréal, Canada, January 1990.
Berlinguette-Gueraichi-1988
Paul Berlinguette and Djaffar Gueraichi. The alternating bit protocol in LOTOS: `textual' and `graphical' representations. Technical Report TR-88-25, University of Ottawa, Ottawa, Canada, August 1988.
Biemans-1989
F. P. M. Biemans.
A Reference Model for Manufacturing Planning and Control. PhD thesis, University of Twente, NL, 1989.
Biemans-Blonk-1986
Frank P. M. Biemans and P. Blonk. On the formal specification and verification of CIM architecture using LOTOS.
Computers in Industry, 7(6):491-504, 1986.
Binding-1991
C Binding. Executing LOTOS behavior expressions. Technical Report 2118, IBM Research Division, Zurich Research Laboratory, Switzerland, April 1991.
Binding-Bouma-Dauphin-Karjoth-Yang-1992
Carl Binding, Wiet Bouma, M. Dauphin, Günter Karjoth, and Y. Yang. A common compiler for LOTOS and SDL specifications.
IBM Systems Journal, 31(4):668-690, 1992.
Black-1989
Stewart Black. Objects and LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Bogaards-1989
Kees Bogaards. LOTOS supported system development. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I, pages 279-294. North-Holland, Amsterdam, Netherlands, 1989.
Bogaards-1990
Kees Bogaards.
A Methodology for the Architectural Design of Open Distributed Systems. PhD thesis, University of Twente, Enschede, Netherlands, 1990.
Bogaards-FerreiraPires-Pras-Schot-1988
Kees Bogaards, Luís Ferreira Pires, Aiko Pras, and Jeroen Schot. The PANGLOSS method. In CEC, editor, ESPRIT Conference 88, Belgium, Brussels, 1988. European Commission.
Bohm-deMeer-Schoo-1989
Paul Böhm, Jan de Meer, and Peter Schoo. Perlon persistency checker for data type definitions. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII, pages 285-302, 1989.
Bolognesi-1990c
T. Bolognesi. A graphical composition theorem for networks of LOTOS processes. In Proc. 10th International Conference on Distributed Computing Systems, pages 88-95, Washington, USA, May 1990. IEEE Computer Society.
Bolognesi-Lucidi-Trigila-1990
T. Bolognesi, F. Lucidi, and S. Trigila. From timed Petri nets to timed LOTOS. In Luigi M. S. Logrippo, Robert L. Probert, and Hassan Ural, editors, Proc. Protocol Specification, Testing and Verification X, pages 395-408. North-Holland, Amsterdam, Netherlands, 1990.
Bolognesi-1988
Tommaso Bolognesi. Transparent LOTOS. Technical Report TR C88-40, CNUCE/CNR, Pisa, Italy, September 1988.
Bolognesi-1990a
Tommaso Bolognesi. Timed LOTOS: Which way to go. In Proc. Workshop on LOTOS, London, UK, 1990. British Computer Society.
Bolognesi-1990b
Tommaso Bolognesi. Timed LOTOS: Which way to go? In British Telecom - British Computer Society/FACS Group Meeting on Lotos - London, September 1990.
Bolognesi-1992
Tommaso Bolognesi. The electric power of LOTOS - results of a joint academic/industrial experiment. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 431-446. North-Holland, Amsterdam, Netherlands, October 1992.
Bolognesi-Brinksma-1988
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO specification language LOTOS.
Computer Networks, 14(1):25-59, January 1988.
Bolognesi-Caneve-1989
Tommaso Bolognesi and M. Caneve. SQUIGGLES: A tool for the analysis of LOTOS specifications. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I, pages 201-216. North-Holland, Amsterdam, Netherlands, 1989.
Bolognesi-deFrutos-OrtegaMallen-1990
Tommaso Bolognesi, David de Frutos, and Y. Ortega Mallen. Graphical composition theorems for parallel and hiding operators. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
Bolognesi-Hagsand-Latella-Pehrson-1991
Tommaso Bolognesi, Olof Hagsand, Diego Latella, and Bjorn Pehrson. The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE.
Computer Networks and ISDN Systems, 22(1):61-77, August 1991.
Bolognesi-Latella-1989
Tommaso Bolognesi and Diego Latella. Techniques for the formal definition of the G-Lotos syntax. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1989.
Bolognesi-Lucidi-1991
Tommaso Bolognesi and F. Lucidi. LOTOS-like process algebras with urgent or timed interactions. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 249-264. North-Holland, Amsterdam, Netherlands, November 1991.
Bolognesi-Lucidi-1993
Tommaso Bolognesi and Ferdinando Lucidi. A timed full LOTOS with time/action tree semantics. In Teodor Rus and Charles Rattray, editors, Theories and Experiences for Real-Time System Development, Computing: Vol 2. World Scientific, 1993.
Bolognesi-Najm-Tilanus-1994
Tommaso Bolognesi, Elie Najm, and Paul A. J. Tilanus. G-LOTOS: A graphical language for concurrent systems.
Computer Networks and ISDN Systems, 26:1101-1127, 1994.
Bolognesi-Smolka-1987
Tommaso Bolognesi and S. A. Smolka. Fundamental results for the verification of observational equivalence: A survey. In Harry Rudin and Colin H. West, editors, Proc. Protocol Specification, Testing and Verification VII. North-Holland, Amsterdam, Netherlands, May 1987.
Bolognesi-vandeLagemaat-Vissers-1995
Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris A. Vissers, editors.
The LOTOSPHERE Project. Kluwer Academic Publishers, London, UK, 1995.
Booth-Turner-Jones-1992
R. E. Booth, K. J. Turner, and V. M. Jones. Formal methods for communications systems development - The ESPRIT project LOTOSPHERE.
BT Technology Journal, 10(2), April 1992.
Booth-1989
Robert Booth. An evaluation of the LCF theorem prover using LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Booth-Widya-Jones-Clark-coisJuillotFran-vanderHeijden-1992
Robert E. Booth, Ing Widya, Valerie M. Jones, Robert G. Clark, cois Juillot Fran and Gert van der Heijden. A formal development trajectory for OSI application layer protocols. In H. Habrias, editor, Proc. 5th International Conference on Putting into Practice Methods and Tools for Information System Design, France, September 1992. Institut Universitaire de Technologie, Laboratoire d'Informatique, Université de Nantes.
Boreale-Inverardi-Nesi-1992
Boreale, Inverardi, and Nesi. Complete sets of axioms for finite basic LOTOS behavioural equivalences.
Information Processing Letters, 43, 1992.
Boshier-Hayward-1990a
A. G. Boshier and Bronia M. Hayward. System documentation for the One2One translator. Technical report, National Physical Laboratory, Teddington, UK, February 1990.
Boshier-Hayward-1990b
A. G. Boshier and Bronia M. Hayward. User guide for the One2One translator. Technical report, National Physical Laboratory, Teddington, UK, February 1990.
Botma-Langerak-1995
B. Botma and Rom Langerak. Simulator for LOTOS to study the independence and causality of events. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 221-223. Chapman-Hall, London, UK, 1995.
Bouma-Zuidweg-1993
Wiet Bouma and Han Zuidweg. Formal analysis of feature interactions using model checking. Technical Report TI-PU-93-868, PTT Research, Leidschendam, Netherlands, February 1993.
Boumezbeur-Logrippo-1992
Rezki Boumezbeur and Luigi M. S. Logrippo. Specifying telephone systems in LOTOS and the feature interaction problem. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. International Workshop on Feature Interactions in Telecommunications software Systems, pages 95-108, December 1992.
Boumezbeur-Logrippo-1993
Rezki Boumezbeur and Luigi M. S. Logrippo. Specifying telephone systems in LOTOS.
IEEE Communications Magazine, pages 38-45, August 1993.
Bowman-Blair-Blair-Chetwynd-1994
Howard Bowman, Gordon S. Blair, Lynne Blair, and Amanda G. Chetwynd. Time versus abstraction in formal description. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 467-482. North-Holland, Amsterdam, Netherlands, 1994.
Bowman-Derrick-Linington-Steen-1996
Howard Bowman, John Derrick, Peter Linington, and Maarten W. A. Steen. Cross-viewpoint consistency in Open Distributed Processing.
Software Engineering Journal, pages 44-57, January 1996.
Bowman-Gomez-2005
Howard Bowman and Rodolfo Gomez. Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems, Springer, 2005.
Briand-Fehri-Logrippo-Obaid-1987
J. P. Briand, M. C. Fehri, Luigi M. S. Logrippo, and Abdellatif Obaid. Executing LOTOS specifications. In Gregor von Bochmann and Behcet Sarikaya, editors, Proc. Protocol Specification, Testing and Verification VI, pages 73-84. North-Holland, Amsterdam, Netherlands, June 1987.
Brinksma-1985
Ed Brinksma. A tutorial on LOTOS. In Michel Diaz, editor, Proc. Protocol Specification, Testing and Verification V, pages 171-194, Amsterdam, Netherlands, 1985. North-Holland.
Brinksma-1987b
Ed Brinksma. Generalised event structures in LOTOS. Technical Report LOTOS/87/V8, Department of Informatics, University of Twente, Enschede, Netherlands, 1987.
Brinksma-1987a
Ed Brinksma. On the existence of canonical testers. Technical Report INF-87-5, University of Twente, Enschede, Netherlands, January 1987.
Brinksma-1988b
Ed Brinksma.
On the Design of Extended LOTOS - A Specification Language for Open Distributed Systems. PhD thesis, Department of Informatics, University of Twente, Enschede, Netherlands, 1988.
Brinksma-1988a
Ed Brinksma. A theory for the derivation of tests. In Sudhir Aggarwal and Krishan K. Sabnani, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1988.
Brinksma-1989
Ed Brinksma. Specification modules in LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Brinksma-Eertink-1993
Ed Brinksma and Henk Eertink. Goal-driven LOTOS execution. In André A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pages 45-60. North-Holland, Amsterdam, Netherlands, May 1993.
Brinksma-Karjoth-1985
Ed Brinksma and Günter Karjoth. A specification of the OSI transport service in LOTOS. In ?, editor, Proc. Protocol Specification, Testing and Verification IV, Amsterdam, Netherlands, 1985. North-Holland.
Brinksma-Kars-1991
Ed Brinksma and Pins Kars. From data structure to process structure. Technical report, University of Twente, Enschede, Netherlands, 1991.
Brinksma-Scollo-1986
Ed Brinksma and Giuseppe Scollo. Formal notions of implementation and conformance in LOTOS. Technical Report INF-86-13, Department of Informatics, University of Twente, Enschede, Netherlands, December 1986.
Brinksma-Scollo-Steenbergen-1986
Ed Brinksma, Giuseppe Scollo, and Chris Steenbergen. LOTOS specifications, their implementations and their tests. In Gregor von Bochmann and Behcet Sarikaya, editors, Proc. Protocol Specification, Testing and Verification VI, pages 349-360. North-Holland, Amsterdam, Netherlands, June 1986.
Brinksma-Scollo-Vissers-1987
Ed Brinksma, Giuseppe Scollo, and Chris A. Vissers. Experience with and future of LOTOS as a specification language. In Roberto Saracco and Paul A. J. Tilanus, editors, SDL 87 - State of the Art and Future Trends. North-Holland, Amsterdam, Netherlands, April 1987.
Bruijning-Specs-1987
J. Bruijning and SPECS. Evaluation and integration of specification languages.
Computer Networks and ISDN Systems, 13:75-89, 1987.
Bryans-1997
Jeremy W. Bryans.
Denotational Semantic Models for Real-Time LOTOS. PhD thesis, University of Reading, UK, 1997.
Bustard-1987
David W. Bustard. Animation of LOTOS specification - part I (mainly textual presentation). Technical report, Queen's University of Belfast, Belfast, September 1987.
Bustard-Norris-Orr-1988
David W. Bustard, M. T. Norris, and R. A. Orr. A pictorial approach to the animation of process-oriented formal specifications.
Software Engineering Journal, 3(4):114-118, July 1988.
Bustard-Norris-Orr-1989
David W. Bustard, Mark T. Norris, and Rodney A. Orr. Formalising the design of ADA systems using LOTOS. Technical report, Queen's University of Belfast, Belfast, June 1989.
Bustard-Winstanley-1994
David W. Bustard and Adam C. Winstanley. Making changes to formal specifications: Requirements and an example.
IEEE Transactions on Software Engineering, 20(8):562-568, August 1994.
Bustard-Winstanley-Norris-Orr-1988
David W. Bustard, Adam C. Winstanley, Mark T. Norris, and Rodney A. Orr. Graphical views of process-oriented specifications. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I, pages 143-156. North-Holland, Amsterdam, Netherlands, September 1988.
Cam-Vuong-1989
R. Cam and Son T. Vuong. A formal specification in LOTOS, of a simplified cellular mobile communication system. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Carchiolo-Faro-Mirabella-Pappalardo-Scollo-1986
Vincenza Carchiolo, Alberto Faro, O. Mirabella, Giuseppe Pappalardo, and Giuseppe Scollo. A LOTOS specification of the PROWAY highway service.
IEEE Transactions on Computers, C-35(11):949-968, 1986.
Cavalli-Kim-Maigron-1994
Ana Cavalli, Sung Un Kim, and Patrick Maigron. Improving conformance testing for LOTOS. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 367-384. North-Holland, Amsterdam, Netherlands, 1994.
Chehaibar-Garavel-Mounier-Tawbi-Zulian-1996
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, and Ferruccio Zulian. Specification and verification of the PowerScale bus arbitration protocol: An industrial experiment with LOTOS. Technical Report 2958, INRIA, 78153 Le Chesnay Cedex, France, August 1996.
Cheng-Hulskamp-Jackson-1991
N. Hong Cheng, J. P. Hulskamp, and Lindsay N. Jackson. An occam implementation of LOTOS communication. In J. Hulskamp, T. Bossomaier, and T. Hintz, editors, ATOUG-4: The Transputer in Australasia, pages 27-34, Amsterdam, Netherlands, September 1991. IOS Press.
Cheng-Huang-Shiratori-1995
Z. Cheng, T. Huang, and Norio Shiratori. A new distributed algorithm for implementation of LOTOS multi-rendezvous. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 493-504. Chapman-Hall, London, UK, 1995.
Cheung-Ye-Ye-Wang-1989
T. Y. Cheung, Y. C. Ye, X. Ye, and G. Q. Wang. UO-Lotos: A syntax/system for representing, editing and translating graphical LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 31-36. North-Holland, Amsterdam, Netherlands, 1989.
Chirichiello-Salaun-2005
Antonella Chirichiello and Gwen Salaün. Encoding Abstract Descriptions into Executable Web Services: Towards A Formal Development. Proc. Web Intelligence 2005, IEEE, December 2005.
Clark-1990
R. G. Clark. A LOTOS specification of a watchdog timer monitoring a keyboard handler. Technical report, Department of Computing Science and Mathematics, University of Stirling, UK, February 1990.
Clark-1991b
R. G. Clark. The development of concurrent ADA systems from LOTOS specifications. In R. J Mitchell and D. Simpson, editors, ADA into the 90's, pages 115-129. Woodhead Publishing Ltd, 1991.
Clark-1991a
R. G. Clark. Use of the object-based style in implementation-oriented LOTOS specifications. Berlin, Germany, May 1991. Second LOTOSPHERE Workshop.
Clark-1992a
R. G. Clark. LOTOS design-oriented specification in the object-based style. Technical Report CSM-84, Department of Computing Science and Mathematics, University of Stirling, FK9 4LA Stirling, Scotland, April 1992.
Clark-Moreira-1994
R. G. Clark and A. M. D. Moreira. Behavioural inheritance in ROOA. In 4th. IS-CORE Workshop, Amsterdam, The Netherlands, 1994.
Clark-1992b
Robert G. Clark. Using LOTOS in the object-based development of embedded systems. In Charles M. I. Rattray and Robert G. Clark, editors, The Unified Computation Laboratory -- Modelling, Specifications, and Tools, pages 307-319. Oxford University Press, May 1992.
Clark-1994
Robert G. Clark. Construction of LOTOS behaviour expressions from object communication diagrams. Technical Report CSM-124, Department of Computing Science and Mathematics, University of Stirling, UK, July 1994.
Clark-Jones-1992
Robert G. Clark and Valerie M. Jones. Use of LOTOS in the formal development of an OSI protocol.
Computer Communications, 15(2):86-92, March 1992.
Clark-Moreira-1997
Robert G. Clark and Ana M. D. Moreira. Constructing formal specifications from informal requirements. In Proc. Software Technology and Engineering Practice 97, London, UK, July 1997. Institution of Electrical and Electronic Engineers Press.
Costa-Nardi-Rinaldi-1988
F. Costa, D. Nardi, and R. Rinaldi. SDS - A LOTOS-based tool for symbolic debugging. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, September 1988.
Courtiat-CoelhodaCosta-1991
Jean-Pierre Courtiat and R. J. Coelho da Costa. A LOTOS based calculus with true concurrency semantics. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 559-574. North-Holland, Amsterdam, Netherlands, November 1991.
Courtiat-deOliveira-1996
Jean-Pierre Courtiat and R. C. de Oliveira. A reachability analysis of RT-LOTOS specifications. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Proc. Formal Description Techniques VIII, pages 117-124. Chapman-Hall, London, UK, 1996.
Courtiat-Saidouni-1993
Jean-Pierre Courtiat and Djamel E. Saïdouni. Action refinement in LOTOS. In André A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pages 341-354. North-Holland, Amsterdam, Netherlands, May 1993.
Cusack-Lai-1991
E. Cusack and M. Lai. Object-oriented specification in LOTOS and Z or, my cat really is object-oriented! In J. W. de Bakker, Willem P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, volume 489 of Lecture Notes in Computer Science, pages 179-202. Springer-Verlag, Berlin, Germany, 1991.
Cusack-Rudkin-Smith-1990
E. Cusack, S. Rudkin, and C. Smith. An object-oriented interpretation of LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 211-226. North-Holland, Amsterdam, Netherlands, 1990.
Cusack-1984
Elspeth L. Cusack. Industrial experience of LOTOS. Technical report, British Telecom, Ipswich, UK, October 1984.
daCosta-Courtiat-1992
Rosvelter J. Coelho da Costa and Jean-Pierre Courtiat. A true concurrency semantics for LOTOS. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 347-362. North-Holland, Amsterdam, Netherlands, October 1992.
Dahl-Najm-1994
Ole Christian Dahl and Elie Najm. Specification and detection of IN service interference using LOTOS. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 53-70. North-Holland, Amsterdam, Netherlands, 1994.
Davies-Bryans-Schneider-1996
James Davies, Jeremy W. Bryans, and Steven A. Schneider. Real-time LOTOS and timed observations. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Proc. Formal Description Techniques VIII, pages 383-397. Chapman-Hall, London, UK, 1996.
Daws-Olivero-Yovine-1995
C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 227-242. Chapman-Hall, London, UK, 1995.
deFrutosEscrig-1993
David de Frutos-Escrig. A characterization of LOTOS representable networks of parallel processes. In Maurice Nivat, Charles M. I. Rattray, Teodor Rus, and Giuseppe Scollo, editors, Proc. AMAST '93, pages 281-288. Springer-Verlag, Berlin, Germany, 1993.
deMeer-1986
Jan de Meer. Tutorial on LOTOS data types. Technical report, GMD, Berlin, Germany, March 1986.
deMeer-1987
Jan de Meer. Derivation and validation of test scenarios based on the formal specification language LOTOS. In Gregor von Bochmann and Behcet Sarikaya, editors, Proc. Protocol Specification, Testing and Verification VI, pages 203-216. North-Holland, Amsterdam, Netherlands, June 1987.
deMiguelMoro-Manas-1987
Tomas de Miguel Moro and Jose A. Mañas. An implementation architecture for LOTOS. In A. Cerveira, editor, Iberian Conference on Data Communications 87. North-Holland, Amsterdam, Netherlands, May 1987.
deMiguelMoro-RoblesValladares-Salvachua-Azcorra-1990
Tomas de Miguel Moro, Tomas Robles Valladares, Joaquín Salvachua, and Arturo Azcorra. The SRTS experience: Using TOPO for LOTOS design and realization. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III, pages 383-394. North-Holland, Amsterdam, Netherlands, November 1990.
DelgadoKloos-deMiguelMoro-RoblesValladares-RabayFilho-MarinLopez-1993
Carlos Delgado Kloos, Tomas de Miguel Moro, Tomas Robles Valladares, Guadalberto Rabay Filho, and A. Marín López. VHDL generation from a timed extension of the formal description technique LOTOS with the FORMAT project.
Microprocessing and Microprogramming, 38:589-596, 1993.
DelgadoKloos-MarinLopez-deMiguelMoro-RoblesValladares-RabayFilho-1995
Carlos Delgado Kloos, A. Marín López, Tomas de Miguel Moro, Tomas Robles Valladares, and Guadalberto Rabay Filho. From LOTOS to VHDL.
Current Issues In Electronic Modeling, 3, September 1995.
Doumenc-Madelaine-deSimone-1990
G. Doumenc, Eric Madelaine, and R. de Simone. Proving process calculi translations in ecrins: The pure LOTOS to MEIJE example. Technical Report RR-1192, Institut National de Recherche en Informatique et Automatique, March 1990.
Drayton-Chetwynd-Blair-1991
L. Drayton, A. Chetwynd, and G. Blair. An introduction to LOTOS through a worked example. Technical report, Lancaster University, 1991.
Dubuc-vonBochmann-Bellal-Saba-1990
M. Dubuc, G. von Bochmann, O. Bellal, and F. Saba. Translation from TTCN to LOTOS and the validation of test cases. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
Dubuis-1989
Eric Dubuis. An algorithm for translating LOTOS and behaviour expressions into automata and ports. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Durante-Sisto-Valenzano-1994
Luca Durante, Riccardo Sisto, and Adriano Valenzano. Implementation of static semantic analysis of LOTOS specifications.
Software Engineering Journal, March 1994.
Eertink-1991
Henk Eertink. Tools for algebraic distributed system design. In Maurice Nivat, Charles M. I. Rattray, Teodor Rus, and Giuseppe Scollo, editors, AMAST-91, pages 434-442. Springer-Verlag, Berlin, Germany, 1991.
Eertink-1992
Henk Eertink. Executing LOTOS specifications: The SMILE tool. In Third LOTOSPHERE Workshop and Seminar, September 1992.
Eertink-Wolz-1991
Henk Eertink and Dietmar Wolz. Symbolic execution of LOTOS specifications. Technical Report ISSN 0923-1714, University of Twente, Tele-Informatics and Open Systems Group, The Netherlands, May 1991.
Eertink-Wolz-1992
Henk Eertink and Dietmar Wolz. Symbolic execution of LOTOS specifications. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 295-310. North-Holland, Amsterdam, Netherlands, October 1992.
Ehrig-Buntrock-Boehm-Hasler-Nurnberg-Rieckhoff-1986
Hartmut Ehrig, J. Buntrock, P. Boehm, K. P. Hasler, F. Nürnberg, and C. Rieckhoff. Towards an algebraic semantics of the ISO specification language LOTOS. Technical report, Technische Universität Berlin, Germany, 1986.
ElGendy-1998
Hazem El-Gendy. Testing Data Flow Aspects of Communications Protocols, Software, and Systems Specified in LOTOS. In Proc. Int. Symp for Computers and Communications, pages 711-716, IEEE, June 1998.
ElGendy-2003a
Hazem El-Gendy. Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol. In Proc. Int. Conf. on Software, Telecommunications, and Networks, IEEE, October 2003.
ElGendy-2003b
Hazem El-Gendy. Using Formal Methods: Importance and Experience. In Proc. Int. Conf. on Computer Science, Software, Information Technology, e-Business, and Applications, June 2003.
Ernberg-Fredlund-Jonsson-1991
Patrik Ernberg, L. Fredlund, and Bengt Jonsson. Specification and validation of a simple overtaking protocol using LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 377-392. North-Holland, Amsterdam, Netherlands, November 1991.
Ernberg-Hovander-Montfort-1992
Patrik Ernberg, T. Hovander, and F. Montfort. Specification and implementation of an ISDN telephone system using LOTOS. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 171-186. North-Holland, Amsterdam, Netherlands, October 1992.
Faci-1995
Mohammed Faci.
Detecting Feature Interactions in Telecommunications Systems Designs. PhD thesis, Department of Computer Science, University of Ottawa, Canada, 1995.
Faci-Logrippo-1992
Mohammed Faci and Luigi M. S. Logrippo. Specifying hardware in LOTOS. Technical Report TR-92-34, Department of Computer Science, University of Ottawa, Canada, October 1992.
Faci-Logrippo-1993b
Mohammed Faci and Luigi M. S. Logrippo. Specifying features and analysing their interactions in a LOTOS environment. Technical Report TR-93-21, Department of Computer Science, University of Ottawa, Canada, December 1993.
Faci-Logrippo-1993a
Mohammed Faci and Luigi M. S. Logrippo. Specifying hardware in LOTOS. In Proc. Computer Hardware Description Languages and Their Applications XI, pages 305-312. North-Holland, Amsterdam, Netherlands, April 1993.
Faci-Logrippo-1994
Mohammed Faci and Luigi M. S. Logrippo. Specifying features and analysing their interactions in a LOTOS environment. In L. G. Bouma and Hugo Velthuijsen, editors, Proc. 2nd. International Workshop on Feature Interactions in Telecommunications Systems and Software Systems, pages 136-151. IOS Press, Amsterdam, Netherlands, May 1994.
Faci-Logrippo-1996
Mohammed Faci and Luigi M. S. Logrippo. An algebraic framework for the feature interaction problem. In Proc. AMAST '96, pages 280-294. Springer-Verlag, Berlin, Germany, 1996.
Faci-Logrippo-Stepien-1989
Mohammed Faci, Luigi M. S. Logrippo, and Bernard Stépien. Formal specifications of telephone systems in LOTOS. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1989.
Faci-Logrippo-Stepien-1991
Mohammed Faci, Luigi M. S. Logrippo, and Bernard Stépien. Formal specification of telephone systems in LOTOS: The constraint-oriented style approach.
Computer Networks and ISDN Systems, 21(1):53-67, March 1991.
Faci-Logrippo-Stepien-1997
Mohammed Faci, Luigi M. S. Logrippo, and Bernard Stépien. Structural models for specifying telephone systems.
Computer Networks, 29(4):501-528, March 1997.
Fantechi-Gnesi-Mazzarini-1990
A. Fantechi, S. Gnesi, and G. Mazzarini. How much expressive are LOTOS and behaviour expressions? In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III, pages 17-32. North-Holland, Amsterdam, Netherlands, November 1990.
Fantechi-Gnesi-Laneve-1990
Alessandro Fantechi, Stefania Gnesi, and C. Laneve. An expressive temporal logic for basic LOTOS. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III, pages 261-276. North-Holland, Amsterdam, Netherlands, 1990.
Fernandez-Quemada-Vidaller-Miguel-1988
A. Fernández, Juan Quemada, L. Vidaller, and C. Miguel. PRODAT - The derivation of an implementation from its LOTOS formal specification. In Sudhir Aggarwal and Krishan K. Sabnani, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1988.
Fernandez-Jard-Jeron-Viho-1996
J. C. Fernandez, C. Jard, T. Jéron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In Rajeev Alur and Thomas A. Henzinger, editors, Computer Aided Verification'96, volume 1102 of Lecture Notes in Computer Science, pages 348-359. Springer-Verlag, Berlin, Germany, 1996.
Fernandez-Garavel-Kerbrat-Mateescu-Mounier-Sighireanu-1996
Jean-Claude Fernández, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and Mihaela Sighireanu. CADP (CÆSAR/ALDÉBARAN Development Package): A protocol validation and verification toolbox. In Rajeev Alur and Thomas A. Henzinger, editors, Proc. 8th. Conference on Computer-Aided Verification, number 1102 in Lecture Notes in Computer Science, pages 437-440. Springer-Verlag, Berlin, Germany, August 1996.
Fernandez-Garavel-Mounier-Rasse-Rodriguez-1992
Jean-Claude Fernández, Hubert Garavel, Laurent Mounier, A. Rasse, and Carlos Rodriguez. A toolbox for the verification of LOTOS programs. In Proc. 14th. International Conference on Software Engineering and its Applications, pages 246-259, May 1992.
Fernandez-Kerbrat-Mounier-1993
Jean-Claude Fernández, Alain Kerbrat, and Laurent Mounier. Symbolic equivalence checking. In Costas Courcoubetis, editor, Proc. 5th. Workshop on Computer-Aided Verification, number 697 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, June 1993.
Fernandez-Mounier-1991
Jean-Claude Fernández and Laurent Mounier. A tool set for deciding behavioral equivalences. In Proc. CONCUR'91, Amsterdam, Netherlands, August 1991.
Ferrara-2004
Andrea Ferrara. Web services: A process algebra approach. Proc. 2nd International Conference on Service-Oriented Computing, pages 242--251, ACM, November 2004.
FerreiraPires-deSouza-1990
Luis Ferreira Pires and W. Lopes de Souza. Stepwise refinement design example using LOTOS. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
Fidge-1994
Colin Fidge. A comparative introduction to CSP, CCS and LOTOS. Technical Report 93-24, Department of Computer Science, University of Queensland, Brisbane, Australia, April 1994.
Fidge-1990
Colin J. Fidge. A LOTOS interpreter for simulating real-time behaviour. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, 1990.
Fiore-Giannotti-1995
F. Fiore and F. Giannotti. An abstract interpreter for the specification language LOTOS. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 309-323. Chapman-Hall, London, UK, 1995.
Fogg-Hicks-Lister-Mansfield-Raymond-1990
I. Fogg, B. Hicks, Andrew Lister, T. Mansfield, and Kerry Raymond. A comparison of LOTOS and Z for specifying distributed systems.
Australian Computer Science Communications, 12(1):88-96, February 1990.
Fouchal-Cavalli-1995
H. Fouchal and Ana R. Cavalli. A modal based verification for LOTOS. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 215-217. Chapman-Hall, London, UK, 1995.
Fredlund-Orava-1991
L. Fredlund and Fredrik Orava. Modelling dynamic communication structures in LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 185-200. North-Holland, Amsterdam, Netherlands, November 1991.
Freestone-Aujla-1988
David Freestone and Sukhvinder S. Aujla. Specifying ROSE in LOTOS. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I, pages 231-245. North-Holland, Amsterdam, Netherlands, September 1988.
Fu-Harnois-Logrippo-Sincennes-2000
Q. Fu, Pascal Harnois, Luigi M. S. Logrippo, and Jacques Sincennes. Feature interaction detection: A LOTOS-based approach.
Computer Networks, 32(4):433-448, April 2000.
Gallouzi-Logrippo-1990
S. Gallouzi and Luigi M. S. Logrippo. A Hoare-style proof system for LOTOS. Technical Report TR-90-13, University of Ottawa, Ottawa, Canada, March 1990.
Gamble-1990
Mark Gamble. The CCSDS protocol validation programme inter-agency testing using LOTOS. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
Gantechi-Gnesi-Sacchelli-1995
A. Gantechi, S. Gnesi, and R. Sacchelli. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 218-220. Chapman-Hall, London, UK, 1995.
Gao-vonBochmann-1989
Quiang Gao and Gregor von Bochmann. Distributed implementation of LOTOS multi-rendezvous. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1989.
Garavel-1996
H. Garavel. An overview of the Eucalyptus toolbox. In Zmago Brezocnik and Tatjana Kapus, editors, Applied Formal Methods in System Design, pages 76-88, Maribor, Slovenia, June 1996. Action COST 247.
Garavel-1989
Hubert Garavel. Compilation of LOTOS abstract data types. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Garavel-Hautbois-1993
Hubert Garavel and Rene-Pierre Hautbois. Experimenting with LOTOS in the aerospace industry. In Teodor Rus and Charles Rattray, editors, Theories and Experiences for Real-Time System Development, Computing: Vol 2. World Scientific, 1993.
Garavel-Hautbois-1994
Hubert Garavel and René-Pierre Hautbois. Experimenting LOTOS in aerospace industry. In Teodor Rus and Charmes M. I. Rattray, editors, Theories and Experience for Real-time system Development, chapter 11. World Scientific, 1994.
Garavel-Sifakis-1990
Hubert Garavel and Joseph Sifakis. Compilation and verification of LOTOS specifications. In Luigi M. S. Logrippo, Robert L. Probert, and Hassan Ural, editors, Proc. Protocol Specification, Testing and Verification X, Amsterdam, Netherlands, June 1990. North-Holland.
Garavel-Lang-Mateescu-2002
Hubert Garavel, Frédéric Lang and Radu Mateescu. An Overview of CADP 2001. European Association for Software Science and Technology Newsletter, volume 4, pages 13-24.
Garavel-Sighireanu-1998
Hubert Garavel and Mihaela Sighireanu. Towards a second generation of Formal Description Techniques - Rationale for the design of E-LOTOS. In Jan-Friso Groote, Bas Luttik, and Jos van Wamel, editors, Proc. 3rd. International Workshop on Formal Methods for Industrial Critical Systems, pages 187-230, Amsterdam, Netherlands, May 1998. University of Nantes.
Ghribi-Logrippo-1993
B. Ghribi and Luigi M. S. Logrippo. A validation environment for LOTOS. In André A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pages 93-108. North-Holland, Amsterdam, Netherlands, May 1993.
Giannotti-Latella-1993
Fosca Giannotti and Diego Latella. Gate splitting in LOTOS specifications using abstract interpretation. In ?, editor, Proc. TAPSOFT 93, pages 437-452, 1993.
Gibson-1993b
J. Paul Gibson. Formal object-based design in LOTOS. Technical Report CSM-113, Department of Computing Science and Mathematics, University of Stirling, UK, April 1993.
Gibson-1993c
J. Paul Gibson. Formal object-oriented development of software systems using LOTOS. Technical Report CSM-114, Department of Computing Science and Mathematics, University of Stirling, UK, September 1993.
Gibson-1993d
J. Paul Gibson.
Formal Object Oriented Development of Software Systems using LOTOS. PhD thesis, Department of Computing Science and Mathematics, University of Stirling, UK, 1993.
Gibson-1993a
J. Paul Gibson. A LOTOS-based approach to neural network specification. Technical Report CSM-112, Department of Computing Science and Mathematics, University of Stirling, UK, May 1993.
Gilbert-1987
David R. Gilbert. Executable LOTOS: Using PARLOG to implement FDT. In Harry Rudin and Colin H. West, editors, Proc. Protocol Specification, Testing and Verification VII. North-Holland, Amsterdam, Netherlands, May 1987.
Gilbert-1988
David R. Gilbert. A LOTOS to PARLOG translator. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, September 1988.
Gorse-Logrippo-Sincennes-2005
Nicholas Gorse, Luigi Logrippo and Jacques Sincennes. Formal Detection of Feature Interactions with Logic Programming and LOTOS. Software and Systems Modeling, Springer, November 2005.
Gotzhein-1986
Reinhard Gotzhein. Specifying abstract data types with LOTOS. In Gregor von Bochmann and Behcet Sarikaya, editors, Proc. Protocol Specification, Testing and Verification VI, pages 15-26. North-Holland, Amsterdam, Netherlands, June 1986.
GregorioRodriguez-Nunez-1996
Carlos Gregorio-Rodriguez and Manuel Nunez. Specifying and verifying the alternating bit protocol with probabilistic-timed LOTOS. In Zmago Brezocnik and Tatjana Kapus, editors, Applied Formal Methods in System Design, pages 38-50, Slovenia, June 1996. University of Maribor.
Groote-1988
Jan Friso Groote. Implementations of events in LOTOS specifications. Technical Report 009/88EN, Philips CFT, Eindhoven, Netherlands, 1988.
Gueraichi-Logrippo-1989
D. Gueraichi and Luigi M. S. Logrippo. Derivation of test cases for LAPB from a LOTOS specification. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Guillemot-HajHussein-Logrippo-1988
R. Guillemot, Mazen Haj-Hussein, and Luigi M. S. Logrippo. Executing large LOTOS specifications. In Sudhir Aggarwal and Krishan K. Sabnani, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1988.
Guillemot-Logrippo-1988
R. Guillemot and Luigi M. S. Logrippo. Derivation of useful execution trees from LOTOS by using an interpreter. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, September 1988.
HajHussein-1988
Mazen Haj-Hussein. An interactive system for LOTOS applications (ISLA). Technical Report TR-88-29, University of Ottawa, Ottawa, Canada, November 1988.
HajHussein-Logrippo-Sincennes-1992
Mazen Haj-Hussein, Luigi M. S. Logrippo, and Jacques Sincennes. Goal-oriented execution for LOTOS. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 311-328. North-Holland, Amsterdam, Netherlands, October 1992.
Harrison-Harrison-1992
David W. Harrison and Michael D. Harrison. Animating process-oriented specifications: Experiences and lessons. In Proc. Automating Formal Methods for Computer-Assisted Prototyping, London, UK, January 1992. Institution of Electrical Engineers.
Hedlund-1993
M. Hedlund. The integration of LOTOS with an object oriented development method. In J. C. P. Woodcock and P. G. Larsen, editors, FME '93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 73-82. Springer-Verlag, Berlin, Germany, 1993.
Hernalsteen-1997
Christian Hernalsteen. A timed automaton model for ET-LOTOS verification. In Tadanori Mizuno, Norio Shiratori, Teruo Higashino, and Atsushi Togashi, editors, Proc. Formal Description Techniques X/Protocol Specification, Testing and Verification XVII, pages 193-204. Chapman-Hall, London, UK, November 1997.
Higashino-vonBochmann-1994
Teruo Higashino and Gregor von Bochmann. Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters.
IEEE Trans. on Software Engineering, 20(1), January 1994.
Higashino-vonBochmann-Li-Yasumoto-Taniguchi-1993
Teruo Higashino, Gregor von Bochmann, X. Li, K. Yasumoto, and K. Taniguchi. Test system for a restricted class of LOTOS expressions with data parameters. In Gregor von Bochmann and et al, editors, Protocol Test Systems V. North-Holland, Amsterdam, Netherlands, 1993.
Hogrefe-1985
Dieter Hogrefe. On the observable behaviour of ESTELLE, LOTOS, and SDL specifications. Technical report, University of Hamburg, Hamburg, Germany, December 1985.
Hogrefe-1989
Dieter Hogrefe.
ESTELLE, LOTOS und SDL Standard-spezifikationssprachen für Verteilte Systeme. Springer-Verlag, Berlin, Germany, 1989.
Hogrefe-1991
Dieter Hogrefe. OSI formal specification case study: The Inres protocol and service. Technical Report 91-012, University of Bern, Switzerland, 1991.
Huzar-Magott-1997
Zbigniew Huzar and Jan Magott. Probabilistic extensions of TE-Lotos. pages 89-99. University of Zagreb, Croatia, June 1997.
Ichikawa-Yamanaka-Kato-1990
H. Ichikawa, K. Yamanaka, and J. Kato. Incremental specifications in LOTOS. In Luigi M. S. Logrippo, Robert L. Probert, and Hassan Ural, editors, Proc. Protocol Specification, Testing and Verification X, pages 183-196, Amsterdam, Netherlands, 1990. North-Holland.
Jard-Jeron-2005
Claude Jard and Thierry Jéeron. TGV: Theory, principles and algorithms. Software Tools for Technology Transfer, pages 297-315, Springer, August 2005
Ji-Turner-1997
He Ji and Kenneth J. Turner. Extended DILL: Digital logic with LOTOS. Technical Report CSM-142, Department of Computing Science and Mathematics, University of Stirling, UK, November 1997.
JiHe-2000
Ji He.
Formal Specification and Analysis of Digital Hardware Circuits in LOTOS. PhD thesis, Department of Computing Science and Mathematics, University of Stirling, UK, April 2000.
JiHe-Turner-1998
Ji He and Kenneth J. Turner. Timed DILL: Digital logic with LOTOS. Technical Report CSM-145, Department of Computing Science and Mathematics, University of Stirling, UK, April 1998.
JiHe-Turner-1999a
Ji He and Kenneth J. Turner. Modelling and verifying synchronous circuits in DILL. Technical Report CSM-152, Department of Computing Science and Mathematics, University of Stirling, UK, April 1999.
JiHe-Turner-1999b
Ji He and Kenneth J. Turner. Protocol-inspired hardware testing. In Gyula Csopaki, Sarolta Dibuz, and Katalin Tarnay, editors, Proc. Testing Communicating Systems XII, pages 131-147, London, UK, September 1999. Kluwer Academic Publishers.
JiHe-Turner-1999c
Ji He and Kenneth J. Turner. Specification and verification of synchronous hardware using LOTOS. In Jianping Wu, Samuel T. Chanson, and Quiang Gao, editors, Proc. Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII/PSTV XIX), pages 295-312, London, UK, October 1999. Kluwer Academic Publishers.
JiHe-Turner-2000
Ji He and Kenneth J. Turner. Verifying and testing asynchronous circuits using LOTOS. In Tommaso Bolognesi and Diego Latella, editors, Proc. Formal Methods for Distributed System Development (FORTE XIII/PSTV XX), pages 267-283, London, UK, October 2000. Kluwer Academic Publishers.
Johnson-1989
Stuart G. Johnson. SPIDER - Service and protocol interactive development environment. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I, pages 67-71, Amsterdam, Netherlands, 1989. North-Holland.
Joeli-Kol-2008
Michael Joeli and Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets and CCS", John Wiley and Sons, 2008.
Jones-1992
Valerie M. Jones. Realisation of CCR in C. In Ed Brinksma, Tommaso Bolognesi, and Chris A. Vissers, editors, Proc. 3rd. LOTOSPHERE Workshop, pages 14/1-27, Pisa, September 1992. CNUCE.
Jones-1995
Valerie M. Jones. Realization of CCR in C. In Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris A. Vissers, editors, The LOTOSPHERE Project, pages 348-368. Kluwer Academic Publishers, London, UK, 1995.
Kant-Higashino-vonBochmann-1992
Christian Kant, Teruo Higashino, and Gregor von Bochmann. Deriving protocol specifications from service specifications written in LOTOS. Technical Report TR-805, Département d'Informatique et de Recherche Operationnelle, Montréal, Canada, January 1992.
KapusKolar-1996
Monika Kapus Kolar. Functional decomposition of basic LOTOS expressions with generalised termination, enabling and disabling. In Zmago Brezocnik and Tatjana Kapus, editors, Applied Formal Methods in System Design, pages 61-74, Maribor, Slovenia, June 1996. Action COST 247.
KapusKolar-1997
Monika Kapus-Kolar. Functionality bipartition in basic E-Lotos. pages 101-114. University of Zagreb, Croatia, June 1997.
Karjoth-1988c
G. Karjoth. Stepwise specification of a sliding-window protocol by means of process algebra. In B. Plattner and P. Günzburger, editors, 1988 International Zürich Seminar on Digital Communications, pages D1.1-D1.6, 1988.
Karjoth-1991
G. Karjoth. A compilation of algebraic processes based on extended-action derivation. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III, pages 127-140, Amsterdam, Netherlands, 1991. North-Holland.
Karjoth-1988b
Günter Karjoth. Implementing process algebra specifications by state machines. In Harry Rudin and Colin H. West, editors, Proc. Protocol Specification, Testing and Verification VII, pages 47-60, Amsterdam, Netherlands, 1988. North-Holland.
Karjoth-1988a
Günter Karjoth. A LISP-based LOTOS environment. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, September 1988.
Karjoth-1992
Günter Karjoth. Implementing LOTOS specifications by communicating state machines. In Proc. CONCUR '92, volume 630 of Lecture Notes in Computer Science, pages 386-400, Berlin, Germany, 1992. Springer-Verlag.
Karjoth-1993b
Günter Karjoth. Dynamic state machines with multiway synchronization, channels, and shared variables. In R. Jerry Linn and M. Ümit Uyar, editors, Proc. Protocol Specification, Testing and Verification XII, pages 61-76, Amsterdam, Netherlands, 1993. North-Holland.
Karjoth-1993a
Günter Karjoth. Generating transition graphs from LOTOS specifications. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 281-294. North-Holland, Amsterdam, Netherlands, 1993.
Karjoth-Binding-Gustafsson-1993
Günter Karjoth, Carl Binding, and J. Gustafsson. LOEWE: A LOTOS engineering workbench.
Computer Networks and ISDN Systems, 25(7):853-874, 1993.
Karjoth-Binding-Gustafsson-1992
Günter Karjoth, Carl Binding, and Jan Gustafsson. LOEWE: A LOTOS engineering workbench.
Computer Network and ISDN Systems, February 1992.
Karjoth-Kooij-1992
Günter Karjoth and M. Kooij. Formal methods for the implementation of specifications. In Proc. 5th International Conference on Software Engineering and its Applications, pages 841-850, Nanterre, France, 1992. EC2.
Kars-1995
Pim Kars. Representation of process-gate nets in LOTOS and verification of LOTOS laws: The Boolean algebra approach. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 165-180. Chapman-Hall, London, UK, 1995.
Kerbrat-1995
Alain Kerbrat. Reachable state space analysis of LOTOS specifications. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 181-196. Chapman-Hall, London, UK, 1995.
Kerbrat-BenAtallah-1996
Alan Kerbrat and Slim Ben Atallah. Formal specification of a framework for groupware development. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Proc. Formal Description Techniques VIII, pages 303-310. Chapman-Hall, London, UK, 1996.
Kirkwod-1994
Carron E. Kirkwod.
Verification of LOTOS Specifications using Term Rewriting Techniques. PhD thesis, University of Glasgow, 1994.
Kirkwood-1993
Carron Kirkwood. Automating (specification=implementation) using equational reasoning and LOTOS. In Proc. TAPSOFT 93, pages 544-558, 1993.
Kirkwood-1996
Carron Kirkwood. Specifying properties of basic LOTOS processes using temporal logic. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Proc. Formal Description Techniques VIII, pages 109-116. Chapman-Hall, London, UK, 1996.
Kolar-1997
Monika Kapus Kolar. Towards deriving protocol specifications from service specifications in M-Lotos. pages 373-381. University of Zagreb, Croatia, June 1997.
Korver-1997
Henri Korver. Detecting feature interactions with Cæsar/Aldébaran.
Science of Computer Programming, 29(1):259-278, July 1997.
Kremer-vdLagemaat-Rennoch-Scollo-1992
H Kremer, J v d Lagemaat, A Rennoch, and G Scollo. Protocol design using LOTOS: A critical synthesis of a standardization experience. Technical Report ISSN 0924-3755, University of Twente, Tele-Informatics and Open Systems Group, The Netherlands, January 1992.
Kremer-1995
Harro Kremer. Derivation of efficient implementations from formal descriptions - Issues, methods and conformance. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 431-445. Chapman-Hall, London, UK, 1995.
Kremer-vandeLagemaat-Rennoch-Scollo-1992
Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, and Giuseppe Scollo. Protocol design using LOTOS: A critical synthesis of a standardization experience. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 231-247. North-Holland, Amsterdam, Netherlands, October 1992.
Lallemand-Leduc-1991
E. Lallemand and Guy Leduc. A LOTOS data facility compiler (DAFY). In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 313-328. North-Holland, Amsterdam, Netherlands, November 1991.
Lambolais-1997
Thomas Lambolais.
Modélisation du Développement de Spécifications Lotos. PhD thesis, Institut National Polytechnique de Lorraine, Nancy, France, October 1997.
Langerak-1989
Rom Langerak. A testing theory for LOTOS using deadlock detection. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII, pages 87-98. North-Holland, Amsterdam, Netherlands, June 1989.
Langerak-1990
Rom Langerak. Decomposition of functionality: A correctness preserving LOTOS transformation. In Luigi M. S. Logrippo, Robert L. Probert, and Hassan Ural, editors, Proc. Protocol Specification, Testing and Verification X. North-Holland, Amsterdam, Netherlands, 1990.
Langerak-1991
Rom Langerak. Event structures for design and transformation in LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 265-280. North-Holland, Amsterdam, Netherlands, November 1991.
Langerak-1992a
Rom Langerak. Bundle event structures: A non-interleaving semantics for LOTOS. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 331-346. North-Holland, Amsterdam, Netherlands, October 1992.
Langerak-1992b
Rom Langerak.
Transformations and Semantics for LOTOS. PhD thesis, Department of Computer Science, University of Twente, Enschede, Netherlands, November 1992.
Leduc-1992
G. Leduc. A framework based on implementation relations for implementing LOTOS specifications.
Computer Networks and ISDN Systems, 25(1):23-41, August 1992.
Leduc-1990
Guy Leduc.
On the Role of Implementation Relations in the Design of Distributed Systems using LOTOS. PhD thesis, University of Liège, 1990.
Leduc-1991b
Guy Leduc. Conformance relation, associated equivalence, and minimum canonical tester in LOTOS. Technical report, University of Liège, Belgium, August 1991.
Leduc-1991a
Guy Leduc. An upward compatible timed extension to LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 223-238. North-Holland, Amsterdam, Netherlands, 1991.
Leduc-2000
Guy Leduc. Multimedia in the E-LOTOS process algebra. In Formal Methods For Distributed Processing: An Object Oriented Approach. Cambridge University Press, UK, 2000.
Leduc-Leonard-1992
Guy Leduc and Luc Léonard. A timed LOTOS supporting a dense time domain and including new timed operators. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 87-102. North-Holland, Amsterdam, Netherlands, October 1992.
Leduc-1987
Guy J. Leduc. The intertwining of data types and processes in LOTOS. In Harry Rudin and Colin H. West, editors, Proc. Protocol Specification, Testing and Verification VII, pages 123-136. North-Holland, Amsterdam, Netherlands, May 1987.
Leon-1990
G. León. On the technology transfer of formal methods: An experience on LOTOS. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
Leon-Carracedo-Moreno-Yelmo-Gil-Sanchez-Carrasco-1994
G. León, J. Carracedo, J. C. Moreno, J. C. Yelmo, Juan J. Gil, C. Sánchez, and F. J. Carrasco. An industrial experience on development with LOTOS and SDL. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 219-234. North-Holland, Amsterdam, Netherlands, 1994.
Leon-DelgadoKloos-Gonzaleza-Ruz-1989
G. León, C. Delgado Kloos, G. Gonzaleza, and M. Ruz. ASDE: Design of a LOTOS transformational environment for LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Leonard-Leduc-1994
Luc Léonard and Guy Leduc. An enhanced version of timed LOTOS and its application to a case study. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 483-500. North-Holland, Amsterdam, Netherlands, 1994.
Leonard-Leduc-1996
Luc Léonard and Guy Leduc. An introduction to ET-Lotos for the description of time-sensitive systems.
Computer Networks and ISDN Systems, 28:271-292, May 1996.
Leonard-Leduc-1997
Luc Léonard and Guy Leduc. An introduction to ET-LOTOS for the description of time-sensitive systems.
Computer Networks, 29(2):271-292, February 1997.
Leonard-Leduc-1998
Luc Léonard and Guy Leduc. A formal definition of time in LOTOS.
Formal Aspects of Computing, 10:248-266, 1998.
Lin-1988
Chee Kheong Lin. Introduction to LOTOS (language for temporal ordering specification). Technical report, Department of Computer Science, Royal Melbourne Institute of Technology, Melbourne, Australia, November 1988.
Llana-RabayFilho-1995
Luis Llana and Gualberto Rabay Filho. Defining equivalences between time/action graphs and timed action graphs. Technical report, Department of Telematic Systems Engineering, Polytechnic University of Madrid, Spain, December 1995.
Logrippo-Faci-HajHussein-1990
Luigi M. S. Logrippo, Mohammed Faci, and Mazen Haj-Hussein. An introduction to LOTOS: Learning by examples. Technical Report TR-90-14, University of Ottawa, Ottawa, Canada, March 1990.
Logrippo-Melanchuk-Duwors-1989
Luigi M. S. Logrippo, T. Melanchuk, and R. J. Duwors. The algebraic specification language LOTOS: An industrial experience. Technical Report TR-89-35, University of Ottawa, Ottawa, Canada, October 1989.
Logrippo-Obaid-Briand-Fehri-1988
Luigi M. S. Logrippo, Abdelatif Obaid, J. P. Briand, and M. C. Fehri. An interpreter for LOTOS, a specification language for distributed systems.
Software Practice and Experience, 18(4):365-385, April 1988.
Logrippo-Obaid-1988
Luigi M. S. Logrippo and Abdellatif Obaid. Outils logiciels pour le langage LOTOS. Technical Report TR-88-16, University of Ottawa, Ottawa, Canada, May 1988.
MacLeod-Rudkin-1991
E. MacLeod and S. Rudkin. Top-level specification of DFS in LOTOS. Technical Report 1.0, BT, March 1991.
Madelaine-Vergamini-1989
E. Madelaine and D. Vergamini. AUTO: A verification tool for distributed system using reduction of finite state automata networks. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 79-84, Amsterdam, Netherlands, December 1989. North-Holland.
Madelaine-Vergamini-1991
Eric Madelaine and D. Vergamini. Specification and verification of a sliding window protocol in LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 495-510. North-Holland, Amsterdam, Netherlands, November 1991.
Manas-1987
Jose A. Mañas. Syntax bracketing. Technical Report LOTOS/87/N15, Departmento Ingeniería Telemática, Ciudad Universitaria, Madrid, Spain, May 1987.
Manas-1988
José A. Mañas. A tutorial on ADT semantics for LOTOS users - Part I: Fundamental concepts. Technical report, Departmento Ingeniería Telemática, Ciudad Universitaria, Madrid, Spain, November 1988.
Manas-deMiguelMoro-1989
Jose A. Mañas and Tomas de Miguel Moro. From LOTOS to C. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I, pages 79-84. North-Holland, Amsterdam, Netherlands, 1989.
Manas-deMiguelMoro-RoblesValladares-Salvachua-Huecas-Veiga-1995
Jose A. Mañas, Tomas de Miguel Moro, Tomas Robles Valladares, Joaquín Salvachua, Gabriel Huecas, and Marcelino Veiga. TOPO user manual (version 3R6). Technical report, Department of Telematic Systems Engineering, Polytechnic University of Madrid, Spain, January 1995.
Manas-Salvachua-1991
Jose A. Mañas and J. Salvachua. Lambda-Beta: A virtual LOTOS machine. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 441-456. North-Holland, Amsterdam, Netherlands, November 1991.
Manas-Salvachua-deMiguel-1991
Jose A. Mañas, J. Salvachua, and Tomas de Miguel. A cross-compiling experiment: A PC implementation of a L OTOS specification. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 467-470. North-Holland, Amsterdam, Netherlands, November 1991.
Marshall-1989
Alan K. Marshall. Introduction to LOTOS tools. In Peter H. J. van Eijk, Chris A. Vissers, and Michel Diaz, editors, The Formal Description Technique LOTOS. North-Holland, Amsterdam, Netherlands, 1989.
Marso-1989
F. Marso. Intermediate system specification in LOTOS of a connection-oriented internet gateway. Technical Report SART 89/02/11, University of Liège, Liège, Belgium, February 1989.
Marso-1992
F. Marso. Experience with LOTOS as a high-level design language. Technical report, Université de Liège, Liège, Belgium, October 1992.
Martin-RoblesValladares-Fuertes-1990
J. Martin, J. Robles Valladares, and L. Fuertes. Concurrent modelling in LOTOS as a solution to real-time problems. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
Massart-1991
Thierry Massart. A calculus to define correct transformations of LOTOS specifications. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 281-296. North-Holland, Amsterdam, Netherlands, November 1991.
Mayr-1989
Thomas Mayr. Specification of object-oriented systems in LOTOS. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I, pages 107-119. North-Holland, Amsterdam, Netherlands, 1989.
McClenaghan-1990
Ashley McClenaghan. Investigating a practical object-oriented specification style for LOTOS and applying this to the specification of a distributed dialogue board service. Technical report, Department of Computing Science and Mathematics, University of Stirling, UK, April 1990.
McClenaghan-1990a
Ashley McClenaghan. A LOTOS constraint-oriented specification of the CIM-OSA IIS AC-Service-Definition. Technical report, CIM-OSA, Esprit 688, 1990.
McClenaghan-1990b
Ashley McClenaghan. A LOTOS specification of the behaviour of a simple lift system. Technical report, Department of Computing Science and Mathematics, University of Stirling, UK, April 1990.
McClenaghan-1991a
Ashley McClenaghan. Experience of using LOTOS within the CIM-OSA project. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 109-116. North-Holland, Amsterdam, Netherlands, November 1991.
McClenaghan-1991b
Ashley McClenaghan. Mapping time-extended LOTOS to standard LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 233-248. North-Holland, Amsterdam, Netherlands, November 1991.
McClenaghan-1993b
Ashley McClenaghan.
Distributed Systems: Architecture-Driven Specification using Extended LOTOS. PhD thesis, Department of Computing Science and Mathematics, University of Stirling, UK, September 1993.
McClenaghan-1993c
Ashley McClenaghan. Distributed systems: Architecture-driven specification using extended LOTOS. Technical Report CSM-120, Department of Computing Science and Mathematics, University of Stirling, UK, December 1993.
McClenaghan-1993a
Ashley McClenaghan. ReCap-IS: a tool for capturing the requirements of interactive-systems, using LOTOS. Technical Report SPLICE/9, Department of Computing Science and Mathematics, University of Stirling, UK, May 1993.
McClenaghan-1994a
Ashley McClenaghan. SOLVE: Specification using an object-oriented, LOTOS-based, visual language. Technical Report CSM-115, Department of Computing Science and Mathematics, University of Stirling, UK, January 1994.
McClenaghan-1994b
Ashley McClenaghan. XDILL: An X-based simulator tool for DILL. Technical Report CSM-119, Department of Computing Science and Mathematics, University of Stirling, UK, April 1994.
McClenaghan-Boisson-Black-1990
Ashley McClenaghan, Daniel Boisson, and Stewart Black. LOTOS specification of the CIM-OSA IIS SD-Service-Definition. Technical report, CIM-OSA, Esprit 688, 1990.
Miguel-Fernandez-Vidaller-1992
C. Miguel, A. Fernández, and L. Vidaller. Extending LOTOS towards performance evaluation. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 103-118. North-Holland, Amsterdam, Netherlands, October 1992.
Miguel-Fernandez-Vidaller-1993
Carlos Miguel, Angel Fernández, and Leon Vidaller. LOTOS extended probabilistic behaviours.
Formal Aspects of Computing, 5(3):253-281, 1993.
Moreira-Clark-1993c
A. M. D. Moreira and R. G. Clark. LOTOS in the object-oriented analysis process. In BCS-FACS Workshop on Formal Aspects of Object-Oriented Systems, Imperial College, London, December 1993.
BCS-FACS (British Computer Society - Formal Aspects of Computing Science).
Moreira-Clark-1993d
A. M. D. Moreira and R. G. Clark. Os Métodos formais na análise de orientação por objectos. In 7th Brazilian Symposium on Software Engineering, Rio de Janeiro, Brazil, pages 238-252, October 1993. An English version of this paper is presented in the Technical Report CSM-111, Department of Computing Science and Mathematics, University of Stirling.
Moreira-Clark-1993b
A. M. D. Moreira and R. G. Clark. ROOA: Rigorous object-oriented analysis. Technical Report CSM-109, Department of Computing Science and Mathematics, University of Stirling, UK, October 1993.
Moreira-Clark-1993a
A. M. D. Moreira and R. G. Clark. Using rigorous object-oriented analysis. Technical Report CSM-111, Department of Computing Science and Mathematics, University of Stirling, UK, August 1993.
Presented at the 7th Brazilian Symposium on Software Engineering, October 1993.
Moreira-Clark-1994a
A. M. D. Moreira and R. G. Clark. Combining object-oriented analysis and formal description techniques. In M. Tokoro and R. Pareschi, editors, Proc. European Conference on Object-Oriented Programming (ECOOP'94), volume 821 of Lecture Notes in Computer Science, pages 344-364. Springer-Verlag, 1994.
Moreira-Clark-1994d
A. M. D. Moreira and R. G. Clark. O Método ROOA. In Object-Oriented Portugal (OOP'94), Lisbon, Portugal, September 1994.
Moreira-Clark-1994c
Ana M. D. Moreira and Robert G. Clark. Combining object-oriented analysis and Formal Description Techniques. In M. Tokoro and R. Pareschi, editors, Proc. 8th European Conference on Object-Oriented Programming, number 821 in Lecture Notes in Computer Science, pages 344-364. Springer-Verlag, Berlin, Germany, 1994.
Moreira-Clark-1994b
Ana M. D. Moreira and Robert G. Clark. Rigorous object-oriented analysis. In E. Bertino and S. Urban, editors, Proc. International Symposium on Object-Oriented Methodologies and Systems, number 858 in Lecture Notes in Computer Science, pages 65-78. Springer-Verlag, Berlin, Germany, 1994.
Moreira-Ladkin-Clark-1994
Ana M. D. Moreira, Peter B. Ladkin, and Robert G. Clark. Formalizing OO analysis with LOTOS. Technical Report CSM-125, Department of Computing Science and Mathematics, University of Stirling, UK, July 1994.
Munster-1991
Harold B Munster. LOTOS specification of the MAA standard, with an evaluation of LOTOS. Technical Report DITC 191/91, National Physical Laboratory, Middlesex, UK, September 1991.
Murphy-Gunningberg-Kelly-1989
Susan C. Murphy, Per Gunningberg, and John P. J. Kelly. Implementing protocols with multiple specifications: Experience with ESTELLE, LOTOS and SDL. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1989.
Najm-1987
Elie Najm. A verification oriented specification in LOTOS of the transport protocol. In Harry Rudin and Colin H. West, editors, Proc. Protocol Specification, Testing and Verification VII. North-Holland, Amsterdam, Netherlands, May 1987.
Najm-Queiroz-Serhrouchi-1989
Elie Najm, J. Queiroz, and A. Serhrouchi. Pre-implementing and verifying process algebras. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Najm-Stefani-1991
Elie Najm and Jean-Bernard Stefani. Dynamic configuration in LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 201-216. North-Holland, Amsterdam, Netherlands, November 1991.
Najm-Stefani-Fevrier-1996
Elie Najm, Jean-Bernard Stefani, and A. Février. Towards a mobile LOTOS. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Proc. Formal Description Techniques VIII, pages 127-142. Chapman-Hall, London, UK, 1996.
Nakata-Higashino-Taniguchi-1994
Akio Nakata, Teruo Higashino, and Kenichi Taniguchi. LOTOS enhancement to specify time constraint among non-adjacent actions using first-order logic. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 451-466. North-Holland, Amsterdam, Netherlands, 1994.
Navarro-Martin-1990
Josefina Navarro and Pablo San Martin. Experience in the development of an ISDN layer 3 service in LOTOS. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
nez-deFrutos-1996
Manuel Nú nez and David de Frutos. Testing semantics for probabilistic LOTOS. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Proc. Formal Description Techniques VIII, pages 367-382. Chapman-Hall, London, UK, 1996.
Notare-Riso-Lorena-deOliveiraPennaNeto-Westphall-1997b
Mirela Sechi Moretti Annoni Notare, Bernardo Goncalves Riso, Paulo Sergio Lorena, Manoel Camillo de Oliveira Penna Neto, and Carlos Becker Westphall. Formal design of a platform for telecommunication heterogeneous network management. In 8th IFIP/IEEE International Workshop for Distributed Systems Operations and Sydney Management, editors, 8th IFIP/IEEE Internation Workshop, Florianopolis, Brazil, October 1997. Federal University of Santa Catarina.
Notare-Riso-Lorena-deOliveiraPennaNeto-Westphall-1997a
Mirela Sechi Moretti Annoni Notare, Bernardo Goncalves Riso, Paulo Sergio Lorena, Manoel Camillo de Oliveira Penna Neto, and Carlos Becker Westphall. Formal design of a telecommunications networks management system. In International Symposium on Computers ATandT/IEEE and Egypt Communications Alexandria, editors, AT&T/IEEE, Florianopolis, Brazil, July 1997. Federal University of Santa Catarina.
Notare-Rogerio-Maciel-Riso-Westphall-1997
Mirela Sechi Moretti Annoni Notare, Ketter Ohnes Rogerio, Cristiano Maciel, Bernardo Goncalves Riso, and Carlos Becker Westphall. Formal design of managed objects. In Chile XIII Conference in Latin America on Informatics, Florianopolis, Brazil, November 1997. Federal University of Santa Catarina.
Ohmazi-Tsuji-Yamanaka-Sato-Itabashi-Shimizu-1991
K. Ohmazi, H. Tsuji, K. Yamanaka, Y. Sato, Y. Itabashi, and T. Shimizu. Design and implementation of an application interface for LOTOS processors. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 345-360. North-Holland, Amsterdam, Netherlands, November 1991.
Patel-Orr-Norris-Bustard-1989
S. Patel, Rodney A. Orr, Mark T. Norris, and David W. Bustard. Tools to support formal methods. In ?, editor, Proc. 12th International Conference on Software Engineering and its Applications, pages 123-132, May 1989.
PavonGomez-Hulstrom-Quemada-deFrutos-OrtegaMallen-1991
Santiago Pavón Gomez, M. Hulstrom, Juan Quemada, David de Frutos, and Y. Ortega Mallen. Inverse expansion. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 297-312. North-Holland, Amsterdam, Netherlands, November 1991.
PavonGomez-Larrabeiti-RabayFilho-1995
Santiago Pavón Gomez, David Larrabeiti, and Gualberto Rabay Filho. LOLA user manual (version 3R6). Technical report, Department of Telematic Systems Engineering, Polytechnic University of Madrid, Spain, February 1995.
Pecheur-1992
Charles Pecheur. Using LOTOS for specifying the CHORUS distributed operating system kernel.
Computer Communications, 15(2):93-102, March 1992.
Pecheur-1993
Charles Pecheur. Vlib: Infinite virtual libraries for LOTOS. In André A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pages 29-44. North-Holland, Amsterdam, Netherlands, May 1993.
Pecheur-1996
Charles Pecheur.
Improving the Specification of Data Types in LOTOS. PhD thesis, Faculté des Sciences Appliqués, University of Liège, Belgium, 1996.
Pitt-Freestone-1990
D. H. Pitt and D. Freestone. The derivation of conformance tests from LOTOS specifications.
IEEE Transactions on Software Engineering, 16(12):1337-1343, December 1990.
Pitt-Boshier-Szczygiel-1990
David Pitt, A. G. Boshier, and Bronia M. Szczygiel. One2One - A tool for translating ASN.1 to ACT ONE. Technical Report DITC 165/90, National Physical Laboratory, 1990.
Purvis-1990
J. B. Purvis. The use of LOTOS for the specification of graphics software. Technical Report CSTR-90-5, Department of Computer Science, Brunel University, Middlesex, UK, July 1990.
Quemada-1989
Juan Quemada. LOTOS Language Development in the SEDOS Project. In Peter H. J. van Eijk, Chris A. Vissers, and Michel Diaz, editors, The Formal Description Technique LOTOS: Results of the ESPRIT SEDOS Project, pages 77-82. Elsevier Science Publishers, Amsterdam, Netherlands, 1989.
Quemada-1990
Juan Quemada. The two-key system: Playing with styles in LOTOS. Technical report, Department of Telematic Engineering, Polytechnic University of Madrid, Spain, March 1990.
Quemada-Azcorra-1984
Juan Quemada and Arturo Azcorra. A constraint-oriented specification of Al's node. Technical report, Department of Telematic Engineering, Polytechnic University of Madrid, Spain, November 1984.
Quemada-Azcorra-deFrutos-1990
Juan Quemada, Arturo Azcorra, and David de Frutos. TIC: A timed calculus for LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 195-209. North-Holland, Amsterdam, Netherlands, 1990.
Quemada-deFrutos-Azcorra-1993
Juan Quemada, David de Frutos, and Arturo Azcorra. TIC: A timed calculus.
Formal Aspects of Computing, 5(3):224-252, 1993.
Quemada-etal-1989
Juan Quemada and et al. On protocol engineering using LOTOS. In Communications Networks and Distributed Operating Systems within the Space Environment. ESTEC, Noordwijk, October 1989.
Quemada-Fernandez-1987
Juan Quemada and A. Fernández. Introduction of quantitative relative time into LOTOS. In Harry Rudin and Colin H. West, editors, Proc. Protocol Specification, Testing and Verification VII, pages 105-121. North-Holland, Amsterdam, Netherlands, May 1987.
Quemada-Fernandez-Manas-1987
Juan Quemada, A. Fernández, and Jose A. Mañas. LOLA: Design and verification of protocols using LOTOS. In A. Cerveira, editor, Iberian Conference on Data Communications 87. North-Holland, Amsterdam, Netherlands, May 1987.
Quemada-Larrabeiti-PavonGomez-1994
Juan Quemada, D. Larrabeiti, and Santiago Pavón Gomez. Compressing the state space representation of LOTOS specifications. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 19-34. North-Holland, Amsterdam, Netherlands, 1994.
Quemada-Miguel-deFrutos-Llana-1993
Juan Quemada, Carlos Miguel, David de Frutos, and Luis Llana. A timed LOTOS extension. In Teodor Rus and Charles Rattray, editors, Theories and Experiences for Real-Time System Development, Computing: Vol 2. World Scientific, 1993.
Quemada-PavonGomez-Fernandez-1989
Juan Quemada, Santiago Pavón Gomez, and Angel Fernández. Transforming LOTOS specifications with LOLA: The parameterized expansion. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I, pages 45-54. North-Holland, Amsterdam, Netherlands, 1989.
Rabay-Quemada-1996
Gualberto Rabay and Juan Quemada. TE-LOLA: A timed extended LOLA prototype. In Zmago Brezocnik and Tatjana Kapus, editors, Applied Formal Methods in System Design, pages 89-95, Slovenia, June 1996. University of Maribor.
RabayFilho-Quemada-1996
Gualberto Rabay Filho and Juan Quemada. TE-LOLA: A timed LOLA prototype. In Zmago Brezocnik and Tatjana Kapus, editors, Proc. COST 247 International Workshop on Applied Formal Methods, pages 85-95, Slovenia, June 1996. University of Maribor.
Raymond-Mansfield-1989
K. Raymond and T. Mansfield. A comparison of LOTOS and Z for specifying distributed systems. Technical Report 111, University of Queensland, Brisbane, Australia, May 1989.
Reade-1992
Christopher M. P. Reade. Process algebra in the specification of graphics standards. Technical Report CSTR-92-1, Department of Computer Science, Brunel University, Middlesex, UK, September 1992.
Regan-1993
Timothy Regan. Multi-media in temporal LOTOS: A lip-synchronization algorithm. In André A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pages 127-142. North-Holland, Amsterdam, Netherlands, May 1993.
Rico-vonBochmann-1991
N. Rico and Gregor von Bochmann. Performance description and analysis for distributed systems using a variant of LOTOS. In Bengt Jonsson, Joachim Parrow, and Bjørn Pehrson, editors, Proc. Protocol Specification, Testing and Verification XI, pages 199-213. North-Holland, Amsterdam, Netherlands, 1991.
Rodriguez-Serrano-1988
S. M. Rodriguez and G. L. Serrano. Transformation from LOTOS specifications to Galileo nets. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, September 1988.
Rudkin-MacLeod-1991
S. Rudkin and E. MacLeod. Combined specification using ASN.1 and LOTOS. Das internal report, BT, March 1991.
Rudkin-1992
Steve Rudkin. Inheritance in LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 409-424. North-Holland, Amsterdam, Netherlands, 1992.
Salaun-Serwe-2005
Gwen Salaün and Wendelin Serwe. Translating Hardware Process Algeberas into Standard Process Algebras: Illustrationwith CHP and LOTOS. In Judi Romijn, Graeme Smith and Jaco van de Pol, editors, Proc.\ Integrated Formal Methods 2005, pages 287306, LNCS 3771, Springer, November 2005.
Salaun-Ferrara-Chirichiello-2004
Gwen Salaün, Andrea Ferrara and Antonella Chirichiello. Negotiation among Web Services using LOTOS/CADP. Proc.\ European Conference on Web Services 2004, pages 198-212, LNCS 3250, Springer, 2004.
SanchezFernandez-Lopez-MartinezMadrid-Carreras-Lopez-DelgadoKloos-Royo-Breuer-1996
Luis Sánchez Fernández, Marin L. López, Natividad Martínez Madrid, C. Carreras, J. C. López, Carlos Delgado Kloos, A. Royo, and Peter T. Breuer. Co-design at work: The Ethernet bridge case study.
Current Issues in Electronic Modelling, 8, April 1996.
SanchezFernandez-MartinezMadrid-DelgadoKloos-1995
Luis Sánchez Fernández, Natividad Martínez Madrid, and Carlos Delgado Kloos. Integrating non-functional aspects into LOTOS.
Current Issues in Electronic Modelling, 4, December 1995.
Saras-Berrocal-Riera-1990
J. Saras, J. Berrocal, and J. Riera. Use of ESTELLE, LOTOS and ASN.1 in one project. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.
Sarashina-Ando-Takahashi-Ohta-Tokita-1994
Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, and Yoshiaki Tokita. An integrated specification support system for communication software design based on stepwise refinement and graphical representation. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 205-218. North-Holland, Amsterdam, Netherlands, 1994.
Saria-Nirschl-Binding-1991
Heinrich Saria, Heinrich Nirschl, and Carl Binding. Mixing LOTOS and SDL specifications. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 425-440. North-Holland, Amsterdam, Netherlands, November 1991.
Sarikaya-Gao-1988
Behcet Sarikaya and Quiang Gao. Translation of test specifications in TTCN to LOTOS. In Sudhir Aggarwal and Krishan K. Sabnani, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1988.
Schieferdecker-1994
Ian K. Schieferdecker.
Performance-Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of their QoS Characteristics. PhD thesis, Technical University of Berlin, Germany, 1994.
Schieferdecker-Wolisz-1992
Ina Schieferdecker and Adam Wolisz. Operational semantics of timed interacting systems: An algebraic performance oriented formal description technique. Technical Report 92/19, Technische Universität Berlin, Berlin, 1992.
Schot-1989
J. Schot. Systematic high level design of a switching system for stream oriented traffic. In Proc. 7th International Conference on Software Engineering for Telecommunication Switching Systems. IEE, 1989.
Schot-1990
Jeroen Schot. Systematic development of high-performance distributed system architectures. In Proc. 2nd. Workshop on Future Trends of Distributed Computer Systems in the 1990's, Cairo, Egypt, September 1990.
Schot-1992a
Jeroen Schot. Addressing performance requirements in the FDT-based design of distributed systems.
Computer Communications, 15(4):235-242, May 1992.
Schot-1992b
Jeroen Schot.
The Role of Architectural Semantics in the Formal Approach to Distributed System Design. PhD thesis, Department of Informatics, University of Twente, Enschede, Netherlands, 1992.
Schot-FerreiraPires-1989
Jeroen Schot and Luís Ferreira Pires. PANGLOSS - architectural task final deliverable. Technical report, PANGLOSS Project, ESPRIT 890, European Commission, Brussels, Belgium, December 1989.
Schot-FerreiraPires-1992
Jeroen Schot and Luís Ferreira Pires. Design and implementation strategies. Technical Report TIOS-92-25, Department of Computer Science and Department of Electrical Engineering, University of Twente, Netherlands, August 1992.
Scollo-vanSinderen-1986
Giuseppe Scollo and Marten van Sinderen. On the architectural design of the formal specification of the session standards in LOTOS. In Gregor von Bochmann and Behcet Sarikaya, editors, Proc. Protocol Specification, Testing and Verification VI, pages 3-14. North-Holland, Amsterdam, Netherlands, June 1986.
Scollo-Vissers-Stefano-1986
Giuseppe Scollo, Chris A. Vissers, and A. Di Stefano. LOTOS in practice. In H.-J. Kugler, editor, Information Processing 86. North-Holland, Amsterdam, Netherlands, September 1986.
Shiratori-Kaminaga-Takahashi-Noguchi-1989
Norio Shiratori, H. Kaminaga, K. Takahashi, and S. Noguchi. A verification method for LOTOS specifications and its application. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1989.
Sighireanu-1998
Mihaela Sighireanu. Model-checking validation of the LOTOS descriptions of the invoicing case study. In Michel Allemand, Christian Attiogbé, and Henri Habrias, editors, Proc. International Workshop on Comparing Systems Specification Techniques, pages 99-114. University of Nantes, France, March 1998.
Sighireanu-Mateescu-1997
Mihaela Sighireanu and Radu Mateescu. Validation of the link layer protocol of the IEEE-1394 serial bus (`Firewire'): An experiment with E-LOTOS. Technical Report RR-3172, Institut National de Recherche en Informatique et Automatique, Le Chesnay, France, May 1997.
Sinnott-1993
Richard O. Sinnott. Draft - ODP architectural semantics using LOTOS. International Organization for Standardization, 1993. ISO/IEC JTC1/SC21/WG7.
Sinnott-1994
Richard O. Sinnott. The formal specification in LOTOS of a basic type manager. Technical Report CSM-122, Department of Computing Science and Mathematics, University of Stirling, UK, 1994.
Sinnott-Turner-1995
Richard O. Sinnott and Kenneth J. Turner. Applying formal methods to standard development: The Open Distributed Processing experience.
Computer Standards and Interfaces, 17:615-630, October 1995.
Sisto-Ciminiera-Valenzano-1991
R. Sisto, L. Ciminiera, and A. Valenzano. A protocol for multirendezvous of LOTOS processes.
IEEE Transactions on Computers, 40(4):437-447, April 1991.
Specs-1987a
SPECS. Evaluation and comparison of three specification languages: SDL, LOTOS and ESTELLE. In Roberto Saracco and Paul A. J. Tilanus, editors, SDL 87 - State of the Art and Future Trends. North-Holland, Amsterdam, Netherlands, April 1987.
Specs-1987b
SPECS. The SPECS architecture: Towards an integrated specification environment. In Roberto Saracco and Paul A. J. Tilanus, editors, SDL 87 - State of the Art and Future Trends. North-Holland, Amsterdam, Netherlands, April 1987.
Stepien-Logrippo-1993
Bernard Stépien and Luigi M. S. Logrippo. Status-oriented telephone service specification: An exercise in LOTOS style. In Teodor Rus and Charles Rattray, editors, Theories and Experiences for Real-Time System Development, Computing: Vol 2, pages 1-21. World Scientific, October 1993.
Stepien-Logrippo-1994
Bernard Stépien and Luigi M. S. Logrippo. Feature interaction detection using backward reasoning with LOTOS. Technical Report TR-94-03, University of Ottawa, Canada, January 1994.
Stepien-Logrippo-1995
Bernard Stépien and Luigi M. S. Logrippo. Feature interaction detection using backward reasoning with LOTOS. In Son Vuong, editor, Proc. Protocol Specification, Testing and Verification XIV, pages 71-86. North-Holland, Amsterdam, Netherlands, October 1995.
Stepien-Logrippo-2002
Bernard Stépien and Luigi M. S. Logrippo. Graphic Visualization and Animation of Lotos Execution Traces. Computer Networks, 40(5):665-681, December 2002.
Sun-Yasumoto-Mori-Higashino-2003
Tao Sun, Keiichi Yasumoto, Masaaki Mori and Teruo Higashino. QoS Functional Testing for Multimedia Systems. In Hartmut König, Monika Heiner and Adam Wolisz, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XVI), pages 319-334, LNCS 2767, Springer, September 2003.
Tennyson-1842
Alfred Tennyson. The LOTOS eaters, 1842.
Tan-2009
Koon Leai Larry Tan. Case Studies using Cress to develop Web and Grid Services. Technical Report CSM-183, University of Stirling, UK, December 2009.
Tan-Turner-2006
Koon Leai Larry Tan and Kenneth J. Turner. Orchestrating grid services using BPEL and Globus Toolkit 4. In Madjid Merabti, Rubem Pereira, Carol Oliver and Omar Abuelma'atti, editors, Proc. 7th PGNet Symposium, pages 31-36. June 2006.
Tan-Turner-2007
Koon Leai Larry Tan and Kenneth J. Turner. Automated Analysis and Implementation of Composed Grid Services. In Dimitrios Dranidis and Ilias Sakellariou, editors, Proc. 3rd South-East European Workshop on Formal Methods, pages 51-64. November 2007.
Thomas-1993
Muffy H. Thomas. A translator for ASN.1 into LOTOS. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 37-52. North-Holland, Amsterdam, Netherlands, 1993.
Thomas-1990c
Muffy H. Thomas. From 1 notation to another one: An ACT ONE semantics for ASN.1. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 517-532. North-Holland, Amsterdam, Netherlands, 1990.
Thomas-1990a
Muffy H. Thomas. A semantics for ASN.1. Technical Report Report No. 2, University of Glasgow, 1990.
Thomas-1990b
Muffy H. Thomas. A semantics for ASN.1. Technical Report Report No. 3, University of Glasgow, 1990.
Thomas-1991
Muffy H. Thomas. ASN.1 subtypes. Technical report, University of Glasgow, March 1991.
Thomas-1994
Muffy H. Thomas. The story of the Therac-25 in LOTOS.
High Integrity Systems Journal, 1(1):3-15, February 1994.
Thomas-Ormsby-1994
Muffy H. Thomas and T. Ormsby. On the design of side-stick controllers in fly-by-wire aircraft.
ACM Applied Computing Review, 2(1):15-20, Spring 1994.
Tilanus-1990
Paul Tilanus, editor.
Tools for LOTOS, London, UK, August 1990. British Computer Society.
Tilanus-Yang-1988
Paul A. J. Tilanus and Y. Yang. Experience with LOTOS and environment LOTTE on an ISDN protocol. In C. M. I. Rattray, editor, Specification and Verification of Concurrent Systems. Springer-Verlag, Berlin, Germany, July 1988.
Till-1987
David R. Till. LOTOS simulator. Technical report, Kings College, London, July 1987.
Tocher-1989
Alastair J. Tocher. LOTOS and the formal specification of communications standards: An example. In Peter N. Scharbach, editor, Formal Methods - Theory and Practice, pages 5-51. BSP Professional Books, Oxford, UK, 1989.
Trafford-1997
Paul Trafford.
The Use of Formal Methods for Safety-Critical Systems. PhD thesis, School of Computer Science and Electronic Systems, Kingston University, Kingston-upon-Thames, UK, October 1997.
Tretmans-1989
J. Tretmans. Test case derivation from LOTOS specifications. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Tretmans-Kars-Brinksma-1991
Jan Tretmans, Pim Kars, and Ed Brinksma. Protocol conformance testing: A formal perspective on ISO IS-9646. Technical Report ISSN 0924-3755, University of Twente, Tele-Informatics and Open Systems Group, The Netherlands, November 1991.
Tripathy-Sarikaya-1991
P. Tripathy and Behcet Sarikaya. Test generation from LOTOS specifications.
IEEE Transactions on Computers, 40(4):543-552, April 1991.
Turner-1987
Kenneth J. Turner. LOTOS - A practical Formal Description Technique for OSI. In International Open Systems 87, volume 1, pages 265-279. Online Publications, London, March 1987.
Turner-1988b
Kenneth J. Turner. The alternating bit protocol -- Constraint-oriented specifications in LOTOS. In Proc. British Computer Society Workshop on Formal Methods in Standards, pages 1-13, London, April 1988. British Computer Society.
Turner-1988a
Kenneth J. Turner. An architectural semantics for LOTOS. In Harry Rudin and Colin H. West, editors, Proc. Protocol Specification, Testing and Verification VII, pages 15-28. North-Holland, Amsterdam, Netherlands, October 1988.
Turner-1989b
Kenneth J. Turner.
The Formal Specification Language LOTOS: A Course For Users. Department of Computing Science and Mathematics, University of Stirling, UK, August 1989.
Turner-1989a
Kenneth J. Turner. A LOTOS case study: Specification of the OSI connection-oriented network service. In Proc. OTC Workshop on Formal Techniques, Sydney, Australia, July 1989. Overseas Telecommunications.
Turner-1990d
Kenneth J. Turner. A conversion tutorial for LOTOS. In Proc. Workshop on LOTOS, London, UK, September 1990. British Computer Society.
Turner-1990b
Kenneth J. Turner, editor.
Guidelines for the Application of ESTELLE, LOTOS, and SDL. International Telecommunications Union, Geneva, Switzerland, January 1990.
Turner-1990a
Kenneth J. Turner. A LOTOS-based development strategy. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 157-174. North-Holland, Amsterdam, Netherlands, 1990.
Turner-1990c
Kenneth J. Turner. Template-based specification in LOTOS. Technical report, Department of Computing Science and Mathematics, University of Stirling, UK, May 1990.
Turner-1993d
Kenneth J. Turner. LOTOS News. Technical Report 0, Department of Computing Science and Mathematics, University of Stirling, UK, August 1993.
Turner-1993a
Kenneth J. Turner, editor.
Using Formal Description Techniques -- An Introduction to ESTELLE, LOTOS and SDL. Wiley, New York, January 1993.
Turner-1994d
Kenneth J. Turner. LOTOS News. Technical Report 1, Department of Computing Science and Mathematics, University of Stirling, UK, February 1994.
Turner-1994e
Kenneth J. Turner. LOTOS News. Technical Report 2, Department of Computing Science and Mathematics, University of Stirling, UK, August 1994.
Turner-1997f
Kenneth J. Turner. Incremental requirements specification with LOTOS.
Requirements Engineering Journal, 2:132-151, November 1997.
Turner-1997b
Kenneth J. Turner. Relating architecture and specification.
Computer Networks, 29(4):437-456, March 1997.
Turner-1998b
Kenneth J. Turner. The invoicing case study in (E-)LOTOS. In Michel Allemand, Christian Attiogbé, and Henri Habrias, editors, Proc. International Workshop on Comparing Systems Specification Techniques, pages 83-98. University of Nantes, France, March 1998.
Turner-2000
Kenneth J. Turner. The n-body problem in LOTOS. In Howard Bowman, editor, Proc. Formal Methods Elsewhere, pages 84-99, Canterbury, UK, October 2000. Computing Laboratory, University of Kent. TR 11-00.
Turner-2002
Kenneth J. Turner. Modelling SIP services using Cress. In Doron A. Peled and Moshe Y. Vardi, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XV), pages 162-177, LNCS 2529, Springer, November 2002.
Turner-2003a
Kenneth J. Turner. Representing New Voice Services and Their Features. In Daniel Amyot and Luigi Logrippo, editors, Proc. 7th Feature Interactions in Telecommunications and Software Systems, pages 123-140, IOS Press, June 2003.
Turner-2003c
Kenneth J. Turner. Specifying and Realising Interactive Voice Services. In Hartmut König, Monika Heiner and Adam Wolisz, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XVI), pages 15-30, LNCS 2767, Springer, September 2003.
Turner-2005d
Kenneth J. Turner. Formalising Web Services. In Farn Wang, editor, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XVIII), pages 473-488, LNCS 3731, Springer, October 2005.
Turner-2005e
Kenneth J. Turner. Test Generation for Radiotherapy Accelerators. Software Tools for Technology Transfer, 7(4):361-375, August 2005.
Turner-2007a
Kenneth J. Turner. Representing and Analysing Composed Web Services using Cress. Network and Computer Applications, 30(2):541-562, April 2007.
Turner-2010b
Kenneth J. Turner. Device Services for The Home. In Khalil Drira, Ahmed Hadj Kacem and Mohamed Jmaiel, editors, Proc. 10th Int. Conf. on New Technologies for Distributed Systems, pages 41-48, IEEE, May 2010.
Turner-McClenaghan-1995
Kenneth J .Turner and Ashley McClenaghan. Visual animation of LOTOS using SOLVE. In Dieter Hogrefe and Stefan Leue, editors, Proc. Formal Description Techniques VII, pages 283-285. Chapman-Hall, London, UK, 1995.
Turner-Qian-2002a
Kenneth J. Turner and Qian Bing. Systematic Testing of Radiotherapy Accelerators. In Hartmut Ehrig, Berndt J. Krämer and Attila Ertas, editors, Proc. Integrated Design and Process Technology (IDPT'02), pages 33.1-33.8, June 2002.
Turner-Qian-2002b
Kenneth J. Turner and Qian Bing. Protocol Techniques for Testing Radiotherapy Accelerators. In Doron A. Peled and Moshe Y. Vardi, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XV), pages 81-96, LNCS 2529, Springer, November 2002.
Turner-Sighireanu-2001
Kenneth J. Turner and Mihaela Sighireanu.
(E-)LOTOS: (Enhanced) language of temporal ordering specification. In Marc Frappier and Henri Habrias, editors, Software Specification Methods, chapter 10, pages 165-190. Springer-Verlag, Godalming, UK, January 2001.
Turner-Sinnott-1994
Kenneth J. Turner and Richard O. Sinnott. DILL: Specifying digital logic in LOTOS. In Richard L. Tenney, Paul D. Amer, and M. Ümit Uyar, editors, Proc. Formal Description Techniques VI, pages 71-86. North-Holland, Amsterdam, Netherlands, 1994.
Turner-Tan-2009
Kenneth J. Turner and Koon Leai Larry Tan. A Rigorous Methodology for Composing Services. In María Alpuente and Byron Cook and Christophe Joubert, editors, Proc. Formal Methods for Industrial Critical Systems 14, pages 165-180, LNCS 5825, Springer, November 2009.
Turner-vanSinderen-1992
Kenneth J. Turner and Marten van Sinderen. LOTOS specification style for OSI. In Ed Brinksma, Tommaso Bolognesi, and Chris A. Vissers, editors, Proc. 3rd. LOTOSPHERE Workshop, pages 5/1-22, Pisa, September 1992. CNUCE.
Turner-vanSinderen-1995
Kenneth J. Turner and Marten van Sinderen. LOTOS specification style for OSI. In Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris A. Vissers, editors, The LOTOSPHERE Project, pages 137-159. Kluwer Academic Publishers, London, UK, 1995.
Valenzano-Sisto-Ciminiera-1991
Valenzano, Sisto, and Ciminiera. Derivation of executable code from formal protocol specifications written in LOTOS. In Proc. TriComm 1991, Chapel Hill, 1991.
vandeLagemaat-Scollo-1988
J. van de Lagemaat and Giuseppe Scollo. On the use of LOTOS for the formal description of a transport protocol. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, September 1988.
vanderSchoot-Ural-1995
Hans van der Schoot and Hasan Ural. Data flow oriented test selection for LOTOS.
Computer Networks and ISDN Systems, 27(7):1111-1136, May 1995.
vanEijk-1986
Peter H. J. van Eijk. A comparison of behavioural language simulators. In Gregor von Bochmann and Behcet Sarikaya, editors, Proc. Protocol Specification, Testing and Verification VI. North-Holland, Amsterdam, Netherlands, June 1986.
vanEijk-1988
Peter H. J. van Eijk.
Software tools for the Specification Language LOTOS. PhD thesis, Department of Informatics, University of Twente, Enschede, Netherlands, 1988.
vanEijk-1989b
Peter H. J. van Eijk. LOTOS tools based on the Cornell Synthesiser Generator. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII, pages 43-52. North-Holland, Amsterdam, Netherlands, June 1989.
vanEijk-1989a
Peter H. J. van Eijk. Tools for LOTOS specification style transformation. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
vanEijk-1990
Peter H. J. van Eijk. Attribute grammar applications in prototyping LOTOS tools. In Pierre Deransart and Martin Jourdan, editors, Attribute Grammars and their Applications, volume 461 of Lecture Notes in Computer Science, pages 91-100. Springer-Verlag, Berlin, Germany, September 1990.
vanEijk-1991
Peter H. J. van Eijk. The LOTOSPHERE integrated tool environment LITE. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 471-474. North-Holland, Amsterdam, Netherlands, November 1991.
vanEijk-Eertink-1991
Peter H. J. van Eijk and Henk Eertink. Design of the LOTOSPHERE symbolic LOTOS simulator. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, 1991.
vanEijk-Kremer-vanSinderen-1990
Peter H. J. van Eijk, Harro Kremer, and Marten van Sinderen. On the use of specification styles for automated protocol implementation from LOTOS to C. In Luigi M. S. Logrippo, Robert L. Probert, and Hassan Ural, editors, Proc. Protocol Specification, Testing and Verification X. North-Holland, Amsterdam, Netherlands, 1990.
vanEijk-Schot-1991
Peter H. J. van Eijk and Jeroen Schot. An exercise in protocol synthesis. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 117-132. North-Holland, Amsterdam, Netherlands, November 1991.
vanEijk-Vissers-Diaz-1989
Peter H. J. van Eijk, Chris A. Vissers, and Michel Diaz, editors.
The Formal Description Technique LOTOS: Results of the ESPRIT SEDOS Project. Elsevier Science Publishers, 1989.
vanHulzen-1988
Wilfried H. P. van Hulzen. LOTTE - A LOTOS tool environment. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, September 1988.
vanHulzen-Tilanus-Zuidweg-1988
Wilfried H. P. van Hulzen, Paul A. J. Tilanus, and H. Zuidweg. Introduction of time into LOTOS. In 88 DNL/051. PTT - Dr Neher Laboratories, June 1988.
vanHulzen-Tilanus-Zuidweg-1990
Wilfried H. P. van Hulzen, Paul A. J. Tilanus, and Han Zuidweg. LOTOS extended with clocks. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 179-193. North-Holland, Amsterdam, Netherlands, 1990.
vanSinderen-1985
Marten van Sinderen. A formal description of flow control by latency in LOTOS. Technical Report Memorandum INF-86-12, Department of Informatics, University of Twente, Enschede, Netherlands, January 1985.
vanSinderen-1989
Marten van Sinderen. A verification exercise relating to specification styles in LOTOS. Technical Report INF-89-18, University of Twente, Enschede, Netherlands, March 1989.
vanSinderen-1990
Marten van Sinderen. Generic service and protocol structures. In ESPRIT Conference '90, Brussels, Belgium, 1990. European Commission.
vanSinderen-Ajubi-1988
Marten van Sinderen and I. Ajubi. The application of LOTOS for the formal description of the ISO session layer. In Kenneth J. Turner, editor, Proc. Formal Description Techniques I. North-Holland, Amsterdam, Netherlands, 1988.
vanSinderen-FerreiraPires-Vissers-1993
Marten van Sinderen, Luís Ferreira Pires, and Chris A. Vissers. Design concepts for Open Distributed Systems. In Jan de Meer, B. Mahr, and Otto Spaniol, editors, Proc. International Conference on Open Distributed Processing, pages 369-374, Berlin, Germany, September 1993. Gesellschaft für Mathematik und Datenverarbeitung.
VASYTeam-1999
VASY Team. CADP (CÆSAR/ALDÉBARAN Development Package): A software engineering toolbox for protocols and distributed systems. http://www.inrialpes.fr/vasy/cadp/, April 1999.
Verdejo-2002
Alberto Verdejo. Building Tools for Lotos Symbolic Semantics in Maude. In Doron A. Peled and Moshe Y. Vardi, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XV), pages 292-307, LNCS 2529, Springer, November 2002.
Vigder-Buhr-1991
M. Vigder and R. J. A. Buhr. Using LOTOS in a design environment. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 1-16. North-Holland, Amsterdam, Netherlands, November 1991.
Viollet-1990
Patrick Viollet. LOTOS guidelines for the IIS. Technical Report R0373/0, CIM-OSA, Esprit 688, April 1990.
Vissers-FerreiraPires-vandeLagemaat-1992
Chris A. Vissers, Luís Ferreira Pires, and Jeroen van de Lagemaat. LOTOSPHERE, an attempt towards a design culture. Technical Report TIOS-92-24, Department of Computer Science, University of Twente, Enschede, Netherlands, August 1992.
Vissers-Scollo-1987
Chris A. Vissers and Giuseppe Scollo. Formal specification in OSI. In G. Müller and R. Blanc, editors, Networking in Open Systems, volume 248 of Lecture Notes in Computer Science, pages 338-359. Springer-Verlag, Berlin, Germany, August 1987.
Vissers-Scollo-vanSinderen-1988
Chris A. Vissers, Giuseppe Scollo, and Marten van Sinderen. Architecture and specification style in formal descriptions of distributed systems. In Sudhir Aggarwal and Krishan K. Sabnani, editors, Proc. Protocol Specification, Testing and Verification VIII, pages 189-204. North-Holland, Amsterdam, Netherlands, 1988.
Vissers-Scollo-vanSinderen-1991
Chris A. Vissers, Giuseppe Scollo, and Marten van Sinderen. Architecture and specification style in formal descriptions of distributed systems.
Theoretical Computer Science, 89:179-206, 1991.
Vissers-Scollo-vanSinderen-Brinksma-1987
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, and Ed Brinksma. On the use of specification styles in the design of distributed systems. Technical report, Department of Informatics, University of Twente, Enschede, Netherlands, August 1987.
Vissers-Scollo-vanSinderen-Brinksma-1990
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, and Ed Brinksma. On the use of specification styles in the design of distributed systems. Technical report, Department of Informatics, University of Twente, Enschede, Netherlands, 1990.
Vivien-1997
Bruno Vivien. Etude en Réalisation d'un compilateur E-LOTOS à l'aide du Génénerateur de compilateurs SYNTAX/FNCS-2. Technical Report Mémoire d'Ingénieur, CNAM, Grenoble, France, December 1997.
Vogel-1993
Andreas Vogel. On ODP's architectural semantics using LOTOS. In Jan de Meer, B. Mahr, and Otto Spaniol, editors, Proc. International Conference on Open Distributed Processing, pages 340-345, Berlin, Germany, September 1993. Gesellschaft für Mathematik und Datenverarbeitung.
vonBochmann-Bellal-1989
Gregor von Bochmann and O. B. Bellal. Test result analysis with respect to formal specifications. In Proc. 2nd. International Workshop on Protocol Test Systems, Berlin, 1989.
vonBochmann-Deslauriers-1989
Gregor von Bochmann and Michel Deslauriers. Combining ASN.1 support with the LOTOS language. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, 1989.
vonBochmann-Gao-Wu-1989
Gregor von Bochmann, Quiang Gao, and C. Wu. On the distributed implementation of LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II, Amsterdam, Netherlands, 1989. North-Holland.
vonBochmann-Goa-Wu-1989
Gregor von Bochmann, Qiang Goa, and Cheng Wu. On the distributed implementation of LOTOS. In S. T. Vuong, editor, Proc. Formal Description Techniques II, pages 175-194. North-Holland, Amsterdam, Netherlands, 1989.
Wezeman-1989
Clazien D. Wezeman. The CO-OP method for compositional derivation of conformance testers. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1989.
Wezeman-Batley-Lynch-1990
Clazien D. Wezeman, S. Batley, and James A. Lynch. Formal methods to assist conformance testing - A case study. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III, pages 157-174. North-Holland, Amsterdam, Netherlands, 1990.
Widya-Sadoun-vanderHeijden-1991
Ing Widya, Franc Sadoun, and Gert-Jan van der Heijden. Specification of a distributed coordination function in LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 133-148. North-Holland, Amsterdam, Netherlands, November 1991.
Williams-1994b
S. H. Williams. Appendices to - LOTOS: A case study. Master's thesis, Department of Computer Science, Brunel University, Uxbridge, London, September 1994.
Williams-1994a
S. H. Williams. LOTOS: A case study. Master's thesis, Department of Computer Science, Brunel University, Uxbridge, London, September 1994.
Winstanley-1992
Adam C. Winstanley.
The Elucidation of Process-Oriented Specifications. PhD thesis, Queen's University Belfast, 1992.
Winstanley-Bustard-1991
Adam C. Winstanley and David W. Bustard. EXPOSE: An animation tool for process-oriented specifications.
Software Engineering Journal, 6(6):114-118, November 1991.
Wolz-Boehm-1989
Dietmar Wolz and Paul Boehm. Compilation of LOTOS data type specifications. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII, pages 187-202. North-Holland, Amsterdam, Netherlands, June 1989.
Wu-vonBochmann-1990
C. Wu and Gregor von Bochmann. An execution model for LOTOS specifications. In Global Telecommunications Conference (Globecom), Washington, USA, December 1990. IEEE Computer Society.
Wu-vonBochmann-1991
C. Wu and Gregor von Bochmann. Fairness in LOTOS. In Kenneth R. Parker and Gordon A. Rose, editors, Proc. Formal Description Techniques IV, pages 543-558. North-Holland, Amsterdam, Netherlands, November 1991.
Wu-vonBochmann-Bellal-Gao-1991
C. Wu, Gregor von Bochmann, O. B. Bellal, and Quiang Gao. Execution of LOTOS specifications in a distributed environment. Technical Report 792, Department of Computer Science, Université de Montréal, Montréal, Canada, 1991.
Wu-Chanson-1989
J. P. Wu and S. Chanson. Translation from LOTOS and ESTELLE specifications to extended transition system and its verification. In S. T. Vuong, editor, Proc. Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, December 1989.
Xu-1990
Zhi Hong Xu. Investigation of the correspondence between LOTOS and ADA. Master's thesis, Department of Computing Science and Mathematics, University of Stirling, UK, April 1990.
Yasumoto-Higashino-Abe-Matsuura-Taniguchi-1996
Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, and Kenichi Taniguchi. A LOTOS compiler generating multi-threaded object codes. In Gregor von Bochmann, Rachida Dssouli, and Omar Rafiq, editors, Proc. Formal Description Techniques VIII, pages 271-286. Chapman-Hall, London, UK, 1996.
Yasumoto-Kitajima-Higashino-Taniguchi-1998
Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, and Kenichi Taniguchi. Hardware synthesis from protocol specifications in LOTOS. In Stan Budkowski, Elie Najm, and Ana Cavalli, editors, Proc. Formal Description Techniques XI/Protocol Specification, Testing and Verification XVIII. Chapman-Hall, London, UK, 1998.
Yasumoto-Umedu-Yamaguchi-Nakata-Higashino-2002
Keiichi Yasumoto and Takaaki Umedu and Hirozumi Yamaguchi and Akio Nakata and Teruo Higashino. Protocol animation based on event-driven visualization scenarios in real-time LOTOS. Computer Networks, 40(5):639-663, December 2002.
Zuidweg-1990
H. Zuidweg. A Hoare-style proof system for LOTOS. In Juan Quemada, Jose A. Mañas, and Enrique Vázquez, editors, Proc. Formal Description Techniques III. North-Holland, Amsterdam, Netherlands, November 1990.

Up Arrow Up one level to WELL - World-Wide Lotos

Web Ken Turner Home       Search Search Web Pages

Last Update: 9th February 2011
URL: https://www.cs.stir.ac.uk/~kjt/research/well/bib.html