Searching for "Expressiveness of Process Algebras." – sorted by Relevance.
52 documents found, showing 1 through 10.
Next 10 →
-
Regular expressions in process algebra
- …Regular Expressions in Process Algebra J.C.M. Baeten Division of Computer Science, Technische…
- Cited by 3 (0 self) – Add To MetaCart
-
Elementary structural analysis for PEPA
- … behavioural properties of Petri nets to models expressed in process algebras such as PEPA [Hil96]. 1…
- Cited by 6 (5 self) – Add To MetaCart
-
Priorities for Modeling and Verifying Distributed Systems
- … the following syntactical notations for expressions: bi C P for the process algebra term C def = P , and 'a…
- Cited by 7 (1 self) – Add To MetaCart
-
Capturing Informal Requirements as Formal Models
- … language and graphical requirements to models expressed in a process algebra formalism. Natural language…
- Add To MetaCart
-
A Stochastic Automata Model and its Algebraic Approach
- … be expressed in terms of the process algebra. We discuss a concrete example and we finish by discussing our…
- Cited by 11 (1 self) – Add To MetaCart
-
Integrated Formal Methods
- … of this discussion we promote an approach that combines the expressive powers of both process algebras and model…
- Cited by 3 (1 self) – Add To MetaCart
-
Process Algebra with Iteration
- … with and the other process algebra operators. 3 I.e., excluding expressions such as a \Delta P + a \Delta Q or (a…
- Cited by 16 (6 self) – Add To MetaCart
-
Web services: A process algebra approach
- … the use of any process algebra depending on the needs of the user at different levels (expressiveness…
- Cited by 15 (0 self) – Add To MetaCart
-
Formal Verification of Processes
- … as the expressivity of the logic used for the formulae. The expressivity of the process algebras already imposes some…
- Cited by 2 (0 self) – Add To MetaCart
-
Equivalence semantics for concurrency: comparison and application
- ….3 Using extended tyft/tyxt format to express process algebras . . . . 141 6.3.1 CCS…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
