Processes with probabilities, priority and time-Reference-Cited by-同舟云学术

Processes with probabilities, priority and time

Published:1994-09 Issue:5 Volume:6 Page:536-564
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Tofts Chris¹

Affiliation:

1. Department of Computer Science, University College Swansea, Swansea, UK

Abstract

Abstract A probabilistic calculus, derived from Milner's SCCS, WSCCS is presented. We define a notion of bisimulation for probabilistic processes and show that it is a congruence. A simple equational characterisation is shown to be both sound and complete for finite processes. We present many examples including some extended ones. The larger examples show both the expressive power of WSCCS and the availability of simple proof methods for some complex systems.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01211867.pdf

Reference28 articles.

1. Syntax and defining equations for an interrupt mechanism in process algebra;Baeten J.;Fundamenta Informatica,1986

2. Chen L. Anderson S. and Moller F.: A Timed Calculus of Communicating Systems Research Report Dept. Of Computer Science Edinburgh University LFCS-127 1990

3. Cammilleri. J.: Introducing a Priority Operator to CCS Computer Laboratory Technical Report Cambridge University 1989.

4. Christoff I.: Testing Equivalences and Fully Abstract Models for Probabilistic Processes in Proceedings Concur '90 LNCS 458 1990.

5. Grimmet G.R. and Stirzaker D.R. Probability and Random Processes Oxford Science Publications 1982.

Cited by 57 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A general overview of formal languages for individual-based modelling of ecosystems;Journal of Logical and Algebraic Methods in Programming;2019-04

2. MELA: Modelling in Ecology with Location Attributes;Electronic Proceedings in Theoretical Computer Science;2016-10-25

3. Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models;Electronic Proceedings in Theoretical Computer Science;2016-03-02

4. Trust domains in system models: algebra, logic, utility, and combinators;Journal of Logic and Computation;2015-06-13

5. Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models;Software Engineering and Formal Methods;2014