LOTOS-like Process Algebras with Urgent or Timed Interactions

Authors:
Tommaso Bolognesi;Ferdinando Lucidi
Affiliations:
-;-
Venue:
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Year:
1991

Citing 0
Cited 8

A LOTOS extension for the performance analysis of distributed systems

IEEE/ACM Transactions on Networking (TON)
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
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format

IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
An evaluation of timed scenario notations

Journal of Systems and Software
Review: Formal description of distributed multimedia systems: an assessment of potential techniques

Computer Communications
Conformance testing to real-time communications systems

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