A timed LOTOS supporting a dense time domain and including new timed operators

Authors:
Guy Leduc;Luc Léonard
Affiliations:
-;-
Venue:
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Year:
1992

Citing 0
Cited 5

Real-Time and Performance Evaluation Extensions of Specification Language LOTOS

MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Embedding untimed into timed process algebra: the case for explicit termination

Mathematical Structures in Computer Science
Orthogonal extensions in structural operational semantics

ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Validation of protocols with temporal constraints

Computer Communications
Syntax And Semantics Of Real-Time And Performance Evaluation Extensions Of Specification Language Lotos

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract