y
Download:
|
|
by Damas P. Gruska, Andrea Maggiolo-schettini
http://dent.ii.fmph.uniba.sk/~gruska/pce.ps.gz
Add To MetaCart
Abstract:
A real time extension of CCS which takes into account properties of an interconnection communication network is presented. With the help of this calculus several semantics for CCS are defined. Limitations of CCS are discussed. 1
Citations
| 2807 | Communication and Concurrency – Milner - 1989 |
| 2749 | Communicating Sequential Processes – Hoare - 1985 |
| 195 | Algebra of Communicating Processes with Abstraction – Bergstra, Klop - 1985 |
| 101 | Transition system specifications with negative premises – Groote - 1993 |
| 89 | A calculus for communicating systems with time and probabilities – Hansson, Jonsson - 1990 |
| 31 | A temporal process algebra – Hennessy, Regan - 1990 |
| 10 | Specification and verification of real time systems in ACP – Groote - 1990 |
| 7 | The Intelligent Network – Black - 1998 |
| 6 | CCS+Time = an interleaving Model for Real Time Systems – Yi - 1991 |
| 2 | A Timed Process description Language based on CCS – Gruska, Maggiolo-Schettini - 1991 |
| 2 | A Temporal Calculus of Communicating Programs – Moller, Tofts - 1990 |
| 1 | Net Semantics for Communicating Processes – Gruska, Maggiolo-Schettini - 1992 |
| 1 | Distributed Mocro/Minicomputer Systems – Weitzman |
