Searching for "An Algebra of Processes." – sorted by Relevance.
408 documents found, showing 1 through 10.
Next 10 →
-
Reversing algebraic process calculi
- …Reversing Algebraic Process Calculi Iain Phillips 1 and Irek Ulidowski 2 1 Department of Computing…
- Cited by 7 (2 self) – Add To MetaCart
-
Algebraic Process Verification
- …Algebraic Process Verification J. F. Groote CWI, P.O. Box 94079, NL-1090 GB Amsterdam…
- Cited by 46 (14 self) – Add To MetaCart
-
Algebraic Processing of Programming Languages
- …Algebraic Processing of Programming Languages Teodor Rus Department of Computer Science…
- Cited by 13 (10 self) – Add To MetaCart
-
Computer Assisted Manipulation of Algebraic Process Specifications
- …Centrum voor Wiskunde en Informatica Computer assisted manipulation of algebraic process…
- Cited by 10 (3 self) – Add To MetaCart
-
Two Algebraic Process Semantics for Contextual Nets
- …Two algebraic process semantics for contextual nets Roberto Bruni 1 and Vladimiro Sassone 2 1…
- Cited by 4 (3 self) – Add To MetaCart
-
Inductive Inference of Algebraic Processes based on Hennessy-Milner Logic
- …(a) Title of paper Inductive Inference of Algebraic Processes based on HennessyMilner Logic (b…
- Add To MetaCart
-
Process Algebra for Performance Evaluation
- …Process Algebra for Performance Evaluation 1 Holger Hermanns a Ulrich Herzog b Joost…
- Cited by 38 (11 self) – Add To MetaCart
-
Process Algebra with Backtracking
- …Process Algebra with Backtracking J.A. Bergstra 1;2 A. Ponse 2 J.J. van Wamel 2 ? 1 Utrecht…
- Cited by 12 (5 self) – Add To MetaCart
-
Discrete-Time Process Algebra with Empty Process
- …Discrete-Time Process Algebra with Empty Process J. C. M. Baeten and J. J. Vereijken Department…
- Cited by 3 (3 self) – Add To MetaCart
-
Fischer's Protocol in Timed Process Algebra
- …Fischer's Protocol in Timed Process Algebra Jan Joris Vereijken Department of Computing Science…
- Cited by 6 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
