Computer Networks and ISDN Systems
Volume 25, Issue 7, February 1993, Pages 791-814
A LOTOS based performance evaluation tool
References (51)
Calculi for synchrony and asynchrony
Theoret. Comput. Sci.
(1983)An informal overview of formal protocol specification
IEEE Comm.
(1985)Formal modeling of synchronous systems
Ph.D. Thesis, ETSI Telecomunicación, UPM, Madrid, Ciudad Universitaria s/n
(September 1990)- et al.
Real time process algebra
- et al.
From timed Petri nets to timed LOTOS
- et al.
A Guide to Simulation
(1987) CCITT Specification and Description Language SDL
- et al.
A timed calculus of communicating systems
- et al.
An introduction to timed CSP
A LOTOS interpreter for simulating real-time behaviour
Discrete event simulation methodologies and formalisms
Simulation Digest
(Summer 1990)
Algebraic reasoning for probabilistic concurrent systems
Reactive, generative, and stratified models of probabilistic processes
Specification and verification of real time systems in ACP
A temporal process algebra
LOTOS—A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
ISO/TC97/SC21
(1989)
Estelle—A Formal Description Technique Based on an Extended State Transition Model
ISO/TC97/SC21
(1988)
Equivalences, congruences and complete axiomatizations for probabilistic processes
A literature survey on distributed discrete event simulation
Simuletter
(1987)
LCRIS: a LOTOS PC-based integrated environment
From LOTOS to C
Técnicas de descriptión formal aplicadas a la evaluación de prestaciones de sistemas de comunicación
Ph.D. Thesis, ETSI Telecommunicación, UPM, Madrid, Ciudad Universitaria s/n
(March 1991)
Timed LOTOS definition, LOTOS-T
Technical Report Reference OSI95/DIT/B5/5/TR/R/V2, DIT, OSI95 ESPRIT II Project
(13 November 1991)
State of the art on timed & probabilistic models
Technical Report Reference OSI95/DIT/B5/3/TR/R/V3, DIT, OSI95 ESPRIT II Project
(13 November 1991)
LOTOS extended with probabilistic behaviours
Technical Report Reference OSI95/DIT/B5/7/TR/R/V2, DIT, OSI95 ESPRIT II Project
(13 November 1991)
Cited by (4)
SPADES - a process algebra for discrete event simulation
2000, Journal of Logic and ComputationHardware-software prototyping from lotos
1998, Design Automation for Embedded SystemsSyntax and semantics of real-time and performance evaluation extensions of specification language LOTOS
1997, Fundamenta InformaticaePerformance-oriented formal specifications — the LotoTis approach
1995, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Copyright © 1993 Published by Elsevier B.V.