Process algebra for performance evaluation
Theoretical Computer Science
Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
General distributions in process algebra
Lectures on formal methods and performance analysis
Protocol animation based on event-driven visualization scenarios in real-time LOTOS
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Modelling Timeouts without Timelocks
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS
Computer Standards & Interfaces
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
A method for analysing multimedia protocol performance
Journal of Systems and Software
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS
Computer Standards & Interfaces
An algebraic approach for codesign
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
Hi-index | 0.00 |