Paper Info
Title
Partial order models for quantitative extensions of LOTOS
Abstract
Event structures are a prominent model for non-interleaving concurrency. The use of event structures for providing a compositional non-interleaving semantics to LOTOS without data is studied. In particular, several quantitative extensions of event structures are proposed that incorporate notions like time – both of deterministic and stochastic nature – and probability. The suitability of these models for giving a non-interleaving semantics to a timed, stochastic and probabilistic extension of LOTOS is investigated. Consistency between the event structure semantics and an (event-based) operational semantics is addressed for the different quantitative variants of LOTOS and is worked out for the timed case in more detail. These consistency results facilitate the coherent use of an interleaving and a non-interleaving semantic view in a single design trajectory and provide a justification for the event structure semantics. As a running example an infinite buffer is used in which gradually timing constraints on latency and rates of accepting and producing data and the probability of loss of messages are incorporated.
Year
DOI
Venue
1998
10.1016/S0169-7552(97)00134-7
Computer Networks and Isdn Systems
Keywords
Field
DocType
quantitative extension,partial order model,partial order,probability,semantics,operational semantics,process algebra
Operational semantics,Programming language,Formal language,Computer science,Concurrency,Theoretical computer science,Probabilistic logic,Process calculus,Event structure,Interleaving,Semantics
Journal
Volume
Issue
ISSN
30
9-10
0169-7552
Citations 
PageRank 
References 
10
0.70
28
Authors
4
Name
Order
Citations
PageRank
Hendrik Brinksma1100.70
Joost-Pieter Katoen24444289.65
Rom Langerak330839.16
Diego Latella41168113.42