Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Modelling nondeterministic concurrent processes with event structures
Fundamenta Informaticae
Action refinement in process algebras
Action refinement in process algebras
Time-constrained buffer specifications in CSP + T and timed CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
Handbook of logic in computer science (vol. 3)
Partial order models for quantitative extensions of LOTOS
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica
Metric semantics for true concurrent real time
Theoretical Computer Science
Communication and Concurrency
Handbook of Process Algebra
Bundle event structures: a revised cpo approach
Information Processing Letters
Correctness by Construction: Towards Verification in Hierarchical System Development
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
A Priori Verification of Reactive Systems
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Real-Timed Concurrent Refineable Behaviours
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
On Specifying Real-Time Systems in a Causality-Based Setting
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Extending LOTOS with Time: A True Concurrency Perspective
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
A True Concurrency Semantics for ET-LOTOS
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Action Refinement for True Concurrent Real Time
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Journal of Computer Science and Technology
Operational Semantics for Real-Time Processes with Action Refinement
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Action Refinement for Real-Time Concurrent Processes with Urgency
Electronic Notes in Theoretical Computer Science (ENTCS)
A non-interleaving denotational semantics of value passing CCS with action refinement
FAW'07 Proceedings of the 1st annual international conference on Frontiers in algorithmics
| Hi-index | 0.00 |
In this paper, we develop techniques of action refinement for probabilistic processes within the context of a probabilistic process algebra. A semantic counterpart is carried out in a non-interleaving causality based setting, probabilistic bundle event structures. We show that our refinement notion has the following nice properties: the behaviour of the refined system can be inferred compositionally from the behaviour of the original system and from the behaviour of the systems substituted for actions; the probabilistic extensions of pomset trace equivalence and history preserving bisimulation equivalence are both congruences under the refinement; and with respect to a cpo-based denotational semantics the syntactic and semantic refinements coincide with each other up to the aforementioned equivalence relations when the internal actions are abstracted away.