Joachim Parrow Swedish Institute of Computer Science Box 1263, S-16428 Kista, ...  Home/Search
Context Related
Links: ACM DBLP | sics.se/~joachim/eq.ps.Z 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: sics.se/~joachim/cv (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In top-down design methodologies the following problem arises: given specifications of a system and of some of its submodules, derive a specification for the remaining submodules. We formulate this problem in CCS as an equation (AjX)nL B, where X is unknown, B represents the whole system, A the known submodules, and L the channels over which the submodules interact. We present a procedure for solving such equations by successive transformation of equations into simpler equations in... (Update)
Context of citations to this paper: More
...P ff implies S ff ) 2. if 62 P trans then P trans = S Trans ; otherwise P trans n fg S Trans Alternative tests can be found in [Parrow 87] CHAPTER 6. THE EQUATION METHOD 82 hence, testing absorbability is exponential in the length of the trace experiment ff ) Second,...
.... the model construction problem for (1) is a real time extension of the equation solving problem studied in [LX90b, Shi, Par89, LQ90]. For S a logical specification our work is related to and extends the work on contexts as property transformers studied in [LX91,...
Cited by: More
Timed Process Description Languages Based on CCS - GRUSKA, MAGGIOLO-SCHETTINI (1991) (Correct)
Assumption Generation for Software Component Verification - Giannakopoulou.. (2002) (Correct)
Dynamic Scheduling and Fault-Tolerance: Specification and.. - Janowski, al. (Correct)
Active bibliography (related documents): More All
0.4: An Interactive Tool for Design, Simulation, Verification, and.. - Chao, Wang (1994) (Correct)
0.3: Service Discovery and Component Reuse with Semantic.. - Sanders, Bræk.. (2005) (Correct)
0.2: A Note on Knowledge-Based Programs and Specifications - Halpern (2000) (Correct)
Similar documents based on text: More All
0.3: Submodule Construction From Concurrent System Specifications - Haghverdi, Ural (1998) (Correct)
0.3: Submodule Envelope Measurement Report - Guarino, Hill, Petereit.. (Correct)
0.3: The proposal for the TILECAL submodule surface protection.. - Valk'ar Dav'idek (Correct)
Related documents from co-citation: More All
10: Communication and Concurrency (context) - Milner - 1989
7: Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
6: Compositionality through an operational semantics of contexts (context) - Larsen, Xinxin - 1991
BibTeX entry: (Update)
Parrow, J.: Submodule construction as equation solving in CCS. TCS 68, pp.175-202. 1989. http://citeseer.ist.psu.edu/parrow89submodule.html More
@inproceedings{ parrow87submodule,
author = "Joachim Parrow",
title = "Submodule Construction as Equation Solving {CCS}",
booktitle = "Foundations of Software Technology and Theoretical Computer Science",
pages = "103-123",
year = "1987",
url = "citeseer.ist.psu.edu/parrow89submodule.html" }
Citations (may not include all citations):322 Volume 92 of Lecture Notes of Computer Science (context) - Milner, of et al. - 1980
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984 ACM DBLP
120 A note on reliable full-duplex transmissions over half duple.. (context) - Bartlett, Scantlebury et al. - 1969
119 Using branching time temporal logic to synthesize synchroniz.. (context) - Emerson, Clarke - 1982 DBLP
116 Synthesis of communicating processes from temporal logic spe.. (context) - Manna, Wolper - 1984 ACM DBLP
94 A deductive approach to program synthesis (context) - Manna, Waldinger - 1980 ACM DBLP
93 A complete inference system for a class of regular behaviour.. (context) - Milner - 1984 DBLP
16 the construction of submodule specifications and communicati.. (context) - Merlin, von Bochmann - 1983
14 IEEE Transactions on Communications (context) - Zafiropulo, West et al. - 1980
10 Deriving protocol specifications from service specifications (context) - von Bochmann, Gotzhein - 1986 ACM DBLP
5 Proof Techniques for CCS (context) - Sanderson - 1982
4 The synthesis of communication protocols (context) - Afrati, Papadimitriou et al. - 1986 ACM DBLP
3 Synthesis of communicating finite-state machines with guaran.. (context) - Gouda, Yu - 1984
2 Electronic Engineering Laboratories (context) - Shields, Interface et al. - 1986
2 Electronic Engineering Laboratories (context) - Shields, Interface et al. - 1986
1 Towards deductive synthesis of dataflow networks (context) - Jonsson, Manna et al. - 1986 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/~joachim/cv.html): More
Designing a Multiway Synchronisation Protocol - Parrow, Sjödin (1996) (Correct)
The Update Calculus (Extended Abstract) - Parrow, Victor (1997) (Correct)
Deciding Bisimulation Equivalences for a Class of.. - Jonsson, Parrow (1991) (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