About time nondeterminism and exception handling in a temporal extension of LOTOS

Authors:
Jean-Pierre Courtiat;Roberto C. de Oliveira
Affiliations:
-;-
Venue:
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Year:
1995

Citing 0
Cited 6

Towards a new multimedia synchronization mechanism and its formal definition

MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
Proving temporal consistency in a new multimedia synchronization model

MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Design methodology and formal validation of hypermedia documents

MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Multimedia in the E-LOTOS process algebra

Formal methods for distributed processing
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

Computer Communications
Validation of protocols with temporal constraints

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract