Lotos Bibliography
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 one level to WELL - World-Wide Lotos
Last Update: 9th February 2011
URL: https://www.cs.stir.ac.uk/~kjt/research/well/bib.html