Damas P. GRUSKA - Andrea MAGGIOLO-SCHETTINI Dipartimento di Informatica,...  Home/Search
Context Related
| ii.fmph.uniba.sk/~gruska/pce.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ii.fmph.uniba.sk/~gruska...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Context of citations to this paper: More
.... level extended process algebras incorporate reasoning on time properties ( Da92, Yi94] interconnection network properties ([GMS93, GMS94]) distribution of processes ( CN94] and so on. The aim of this paper is to develop a process algebra which can be used for...
Cited by: More
Process Algebra for Limited Parallelism - Gruska (Correct)
Similar documents (at the sentence level):
15.0%: Timed Network Semantics for Communicating Processes - Damas Gruska Andrea (1994) (Correct)
Active bibliography (related documents): More All
1.0: Process Communication Environment - Gruska, Maggiolo-Schettini (1993) (Correct)
0.2: Timed Process Description Languages Based on CCS - GRUSKA, MAGGIOLO-SCHETTINI (1991) (Correct)
0.1: A timed LOTOS supporting a dense time domain and including.. - Leduc, Léonard (1993) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
D.P. Gruska and A. Maggiolo-Schettini. Process Communication Environment. In: Purushothaman S., Zwarico A. (eds.), Proceedings First North American Process Algebra Workshop, Workshops in Computing Series, Springer, Berlin, pp. 1-12, 1993. http://citeseer.ist.psu.edu/gruska93process.html More
@misc{ gruska93process,
author = "D. Gruska and A. Maggiolo-Schettini",
title = "Process Communication Environment",
text = "D.P. Gruska and A. Maggiolo-Schettini. Process Communication Environment.
In: Purushothaman S., Zwarico A. (eds.), Proceedings First North American
Process Algebra Workshop, Workshops in Computing Series, Springer, Berlin,
pp. 1-12, 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/gruska93process.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
447 Prentice-Hall International (context) - Milner, concurrency - 1989
155 Algebra of Communicating Processes with Abstraction (context) - Bergstra, Klop - 1985
91 A Calculus for Communicating Systems with Time and Probabili.. (context) - Hansson, Jonsson - 1990
84 Transition systems specification with negative premises (context) - Groote - 1990
80 an Interleaving Model for Real Time Systems (context) - Yi, Time - 1991
69 Prentice-Hall International (context) - Black - 1987
35 A Temporal Process Algebra (context) - Hennessy, Regan - 1990
18 Specification and verification of real time systems in ACP (context) - Groote - 1990
5 A Temporal Calculus of Communicating Programs (context) - Moller, Tofts - 1990
4 A Timed Process description Language based on CCS - Gruska, Maggiolo-Schettini - 1991
2 Net Semantics for Communicating Processes (context) - Gruska, Maggiolo-Schettini - 1992
1 Distributed MocroMinicomputer System (context) - Mocro, Prentice et al. - 1980
Documents on the same site (http://www.ii.fmph.uniba.sk/~gruska/papers.html): More
Timed Network Semantics for Communicating Processes - Damas Gruska Andrea (1994) (Correct)
Timed Process Description Languages Based on CCS - GRUSKA, MAGGIOLO-SCHETTINI (1991) (Correct)
Shared Processors versus Shared Networks - Gruska (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC