J.C.M. Baeten and W.P. Weijland. Process algebra. Cambridge University Press 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Systematic Verification of Safety Properties of.. - Bradley, Bestavros.. (2003) (Correct)
....(preferably finite) set of behaviorally representative arrangements, which could then each be verified. To be useful, the discovery and application of such reductions must follow a systematic approach. Much work has already been done in several communities on discovery of such relationships (e.g. [7, 2, 22]) in the remainder of this paper, we presume such results and develop a reduction strategy based upon an algebraic term rewriting technique that is immediately applicable to a wide range of network application structures. It is important to note that a number of techniques have been developed ....
.... that the behaviors of members of # are fully represented by the behaviors of members of its subsetf (A # ) The means by which this behavioral equivalence is established may be any mechanism appropriate to the given application and # (e.g. logical proofs, type systems [7] process algebra [2], theory of I O automata [22] I O equivalence, etc. 3.4 Reduction Strategy Intuitively, our strategy is to identify a set of reductions (i.e. congruence relations overA which preserve behavioral equivalence) by which we can establish a finite sized homomorphic image ofA (that is, a ....
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
Systematic Verification of Safety Properties of.. - Bradley, Bestavros.. (2003) (Correct)
....(preferably finite) set of behaviorally representative arrangements, which could then each be verified. To be useful, the discovery and application of such reductions must follow a systematic approach. Much work has already been done in several communities on discovery of such relationships (e.g. [7, 2, 22]) in the remainder of this paper, we presume such results and develop a reduction strategy based upon an algebraic term rewriting technique that is immediately applicable to a wide range of network application structures. It is important to note that a number of techniques have been developed ....
.... the behaviors of members of set # are fully represented by the behaviors of members of its subset f(A # ) The means by which this behavioral equivalence is established may be any mechanism appropriate to the given application and # (e.g. logical proofs, type systems [7] process algebra [2], theory of I O automata [22] I O equivalence, etc. 3.4 Reduction Strategy Intuitively, our strategy is to identify a set of reductions (i.e. congruence relations over which preserve behavioral equivalence) by which we can establish a finite sized homomorphic image of (that is, a ....
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
The Role of Deontic Logic in the Specification of.. - Meyer, Wieringa, Dignum (1996) (10 citations) (Correct)
.... process theory, which ranges from concurrency semantics in which models for concurrent or parallel (nondeterministic) programming are investigated (e.g. Win82] IBM88] vG90] to process algebra, in which one tries to give an algebraic calculus for this kind of programming ( MilS0] BK86] [BW90]) In these algebraic calculi (or process algebras, as they are usually called) one is actually interested in calculating equivalences of processes on the basis of certain observational criteria: if two processes are indistinguishable with respect to some observational criterion, they are regarded ....
J.C.M. Baeten & W.P. Weijland, Process Algebra, Cambridge University Press, 1990.
The Paradoxes of Deontic Logic Revisited: A Computer Science.. - Meyer, al. (1994) (2 citations) (Correct)
.... process theory, which ranges from concurrency semantics in which models for concurrent or parallel (nondeterministic) programming are investigated (e.g. Win82] BM88] vG90] to process algebra, in which one tries to give an algebraic calculus for this kind of programming ( Mi180] BK86] [BW90]) In these algebraic calculi (or process algebras, as they are usually called) one is actually interested in calculating equivalences of processes on the basis of certain observational criteria: if two processes are indistinguishable with respect to some observational criterion, they are regarded ....
J.C.M. Baeten & W.P. Weijland, Process Algebra, Cambridge University Press, 1990.
Time and Probability in Process Algebra - Suzana Andova Department (2000) Self-citation (Algebra) (Correct)
No context found.
J.C.M. Baeten, W.P. Weijland, Process algebra, Cambridge University Press, 1990.
Process Algebra with Probabilistic Choice - Andova (1999) (21 citations) Self-citation (Algebra) (Correct)
No context found.
J.C.M. Baeten, W. P. Weijland, Process algebra, Cambridge University Press, 1990.
Bisimulation is two-way simulation - Bergstra And Gh (Correct)
No context found.
J.C.M. Baeten and W.P. Weijland. Process algebra. Cambridge University Press 1990.
Proceedings of the ELISA workshop - Evolution Of Large-Scale (Correct)
No context found.
Baeten J.C.M.,W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
Towards a Mathematical Operational Semantics - Turi, Plotkin (1997) (53 citations) (Correct)
No context found.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
How to Formalize It? Formalization Principles for.. - Hofstede, Proper (1998) (Correct)
No context found.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, Cambridge, United Kingdom, 1990.
From Process Logic to Program Logic - Honda (2004) (Correct)
No context found.
Baeten, J.C.M. and Weijland, W.P. Process Algebra. Cambridge University Press, 1990.
Deriving and Paraphrasing Information Grammars using.. - Frederiks, van der Weide (2002) (2 citations) (Correct)
No context found.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, Cambridge, United Kingdom, 1990. 34
AutoML: Definition and Implementation - Yongbo An And (2004) (Correct)
No context found.
J.C.M. Baeten and W.P. Weijland, Process Algebra, Cambridge University Press, Cambridge, 1990
Dynamic Scheduling and Synchronization Synthesis of.. - Coelho, Jr., De Micheli (1994) (14 citations) (Correct)
No context found.
J. C. M. Baeten. Process Algebra. Cambridge University Press, 1990.
Specialization of Object Life Cycle Definitions - Ebert, Engels (1997) (Correct)
No context found.
J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge University Press, Cambridge, 1990.
Fair Bisimulation - Thomas Henzinger Sriram (2000) (5 citations) (Correct)
No context found.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
Baeten, J.C.M. and Weijland, W.P. Process Algebra. Cambridge University Press, 1990.
Evolutionary Product Line Modelling - Serguei Roubtsov Vtt (Correct)
No context found.
Baeten J.C.M.,W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
Labelled Transition Logic: An Outline - Astesiano, Reggio (1996) (1 citation) (Correct)
No context found.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, Cambridge, 1990.
Proceedings of the - Elisa Workshop Evolution (Correct)
No context found.
Baeten J.C.M.,W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory - Stefanescu (Correct)
No context found.
J. Baeten and W. Weijland. Process algebra. Cambridge University Press, 1990.
Non Deterministic Extensions of Untyped λ-calculus - de'Liguoro, Piperno (1995) (Correct)
No context found.
J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge University Press 1990.
Specialization of Object Life Cycle Definitions - Ebert, Engels (1995) (Correct)
No context found.
J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge University Press, Cambridge, 1990.
Processes and Games - Honda (2003) (Correct)
No context found.
Baeten, J.C.M. and Weijland, W.P. Process Algebra. Cambridge University Press, 1990.
The Role of Deontic Logic in the Specification of Information .. - Ch Meyer Utrecht (10 citations) (Correct)
No context found.
J.C.M. Baeten & W.P. Weijland, Process Algebra, Cambridge University Press, 1990.
First 50 documents Next 50
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