A timed LOTOS extension

Authors:
Juan Quemada;Carlos Miguel;David de Frutos;Luis Llana
Affiliations:
-;-;-;-
Venue:
Theories and experiences for real-time system development
Year:
1994

Citing 0
Cited 5

Process calculi: E-LOTOS

Formal methods for distributed processing
Multimedia in the E-LOTOS process algebra

Formal methods for distributed processing
Bisimulation indexes and their applications

Theoretical Computer Science
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems

Journal of Intelligent and Robotic Systems
Using Simulation for the Validation of High Level Specifications of Control Systems

Journal of Intelligent and Robotic Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract