ORBi: Léonard Luc - An Enhanced Version of Timed LOTOS and its Application to a Case study

Reference : An Enhanced Version of Timed LOTOS and its Application to a Case study


	Document type :	Scientific congresses and symposiums : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/23852

Title :	An Enhanced Version of Timed LOTOS and its Application to a Case study
Language :	English
Author, co-author :	Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
	Leduc, Guy [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Publication date :	Oct-1993
Main document title :	FORMAL DESCRIPTION TECHNIQUES, VI
Editor :	Tenney, R. L.
	Amer, P. D.
	Uyar, M. U.
Publisher :	Elsevier Science
Collection and collection volume :	IFIP TRANSACTIONS C22 - COMMUNICATION SYSTEMS
Pages :	483-498
On invitation :	No
Audience :	International
ISBN :	0-444-81773-5, Unique-ID = ISI:A1994BA94T00030
Event name :	Sixth International Conference on Formal Description Techniques (FORTE '93)
Event date :	26-29 Oct. 1993
Event place (city) :	Boston
Event country :	USA
Abstract :	[en] We propose here ET-LOTOS, a timed extension of LOTOS. It is an enhancement of Timed LOTOS that we presented at FORTE 92. We show how some simple modifications allow us to improve the expressiveness of our former formalism. To assess ET-LOTOS, we apply it to the specification of a small case study. Finally, we show how the semantics of ET-LOTOS could be modified to easily define more powerful operators, if one ever had to.
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/23852
Commentary :	0926-549X

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	RUN-PP94-01.pdf		Author postprint	239.43 kB	View/Open

All documents in ORBi are protected by a user license.