Damas P. GRUSKA, Andrea MAGGIOLO-SCHETTINI  Home/Search
Context Related
| ii.fmph.uniba.sk/~gruska/pdl.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: Calculi of communicating systems with a synchronizer are introduced. (Update)
Context of citations to this paper: More
...simple timed model of a process algebra capable of expressing duration of actions. Among many timed models [HR90] MT90] Gr90b] [GMS91], Yi91] we choose TiCCS, a slight modification of the one in [GMS91] which seems to be fully suitable. The main idea of TiCCS is to...
...a simple timed model of a process algebra capable of expressing the duration of actions. Among many timed models [HR90] MT90] Gr90b] [GMS91], Yi91] we choose 2 TiCCS, a slight modification of the one in [GMS91] which seems to be fully suitable. We take a CCS process and...
Cited by: More
Process Communication Environment - Damas Gruska Andrea (1993) (Correct)
Timed Network Semantics for Communicating Processes - Damas Gruska Andrea (1994) (Correct)
Active bibliography (related documents): More All
0.6: Shared Processors versus Shared Networks - Gruska (Correct)
0.5: Multimedia in the E-LOTOS Process Algebra - Leduc (2001) (Correct)
0.3: A Practical Approach to Implementing Real-Time Semantics - Bhat, Cleaveland, Lüttgen (1999) (Correct)
Similar documents based on text:
91.0: Unknown - (Correct)
Related documents from co-citation: More All
4: Prentice Hall International (context) - Milner, Concurrency - 1989
4: Specification and verification of real time systems in ACP In L (context) - Groote - 1990
4: A temporal process algebra (context) - Hennessy, Regan - 1995
BibTeX entry: (Update)
D.P. Gruska and A. Maggiolo-Schettini. A Timed Process description Language based on CCS. Technical Report TR-9/91, Dipartimento di Informatica, Universit`a di Pisa, 1991. http://citeseer.ist.psu.edu/gruska91timed.html More
@misc{ gruska91timed,
author = "D. Gruska and A. Maggiolo-Schettini",
title = "A Timed Process description Language based on CCS",
text = "D.P. Gruska and A. Maggiolo-Schettini. A Timed Process description Language
based on CCS. Technical Report TR-9/91, Dipartimento di Informatica, Universit`a
di Pisa, 1991.",
year = "1991",
url = "citeseer.ist.psu.edu/gruska91timed.html" }
Citations (may not include all citations):447 Prentice-Hall International (context) - Milner, concurrency - 1989
155 Real Time Process Algebra (context) - Baeten, Bergstra - 1989
126 A Timed Model for Communicating Sequential Processes (context) - Reed, Roscoe - 1986
91 A Calculus for Communicating Systems with Time and Probabili.. (context) - Hansson, Jonsson - 1990
80 an Interleaving Model for Real Time Systems (context) - Yi, Time - 1991
70 A Process Algebra for Timed Systems (context) - Hennessy, Regan - 1991
40 Three Partition Re nement Algorithms (context) - Paige, Tarjan - 1987
38 ATP:An Algebra for Timed Processes (context) - Nicollin, Richier et al. - 1990
36 Real-time Behaviour of Asynchronous Agents (context) - Yi - 1990
35 A Temporal Process Algebra (context) - Hennessy, Regan - 1990
26 Submodule Construction as Equation Solving in CCS - Parrow - 1989
11 Atomicity and Transactions for Process Description Languages (context) - Gorrieri - 1991
6 Equivalence Notions for Concurrent Systems and Re nement of .. (context) - van Glabbeek, Goltz - 1989
6 Factorization of Finite State Machines under Observational E.. (context) - Qin, Lewis - 1990
5 A Temporal Calculus of Communicating Programs (context) - Moller, Tofts - 1988
5 Split- and ST-Semantics for CCS (context) - Gorrieri, Laneve - 1991
4 Modelling Real-Time Behaviour with an Interval Time Calculus (context) - Daniels - 1992
3 Functional Speci cation of Time sensitive Communicating Syst.. (context) - Broy - 1990
3 Translating Timed Process Algebra into Prioritized Process A.. (context) - Je - 1992
3 To be presented at North American Process Algebra Workshop (context) - Gruska, Maggiolo-Schettini et al. - 1992
2 Speci cation and veri cation of real time systems in ACP (context) - Groote - 1990
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)
Shared Processors versus Shared Networks - Gruska (Correct)
Bounded Concurrency - 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