Partial order models for quantitative extensions of LOTOS

Computer Networks

Volumn 30, Issue 9-10, 1998, Pages 925-950

  Brinksma, Ed ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Deterministic time; Event structures; Probability; Process algebra; Semantics; Stochastic time; True concurrency

Indexed keywords

EID: 0000672009     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(97)00134-7     Document Type: Article

References (2)

1. L. Aceto, D. Murphy, Timing and causality in process algebra, Acta Inf. 33 (1996) 317-350.
2. M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano, A LOTOS extension for the performance analysis of distributed systems, IEEE/ACM Trans. Networking 2 (2) (1994) 151-164.