| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] M. Abadi and L. Lamport, Composing specifications, ACM TOPLAS 15 (1) (1993), 73-132 |
Sách, tạp chí |
| Tiêu đề: |
Composing specifications |
| Tác giả: |
M. Abadi and L. Lamport, Composing specifications, ACM TOPLAS 15 (1) |
| Năm: |
1993 |
|
| [2] L. Aceto, Action Refinement in Process Algebras, Cambridge University Press (1992) |
Sách, tạp chí |
| Tiêu đề: |
Action Refinement in Process Algebras |
|
| [3] L. Aceto and M. Hennessy, Adding action refinement to a finite process algebra, Proc. ICALP'91, Lecture Notes in Comput. Sci. 510, Springer-Verlag (1991), 506-519 |
Sách, tạp chí |
| Tiêu đề: |
Adding action refinement to a finite process algebra |
| Tác giả: |
L. Aceto and M. Hennessy, Adding action refinement to a finite process algebra, Proc. ICALP'91, Lecture Notes in Comput. Sci. 510, Springer-Verlag |
| Năm: |
1991 |
|
| [4] B. Alpem and F.B. Schneider, Defining liveness. Inform. Proc. Lett. 21 (1985), 181-185 |
Sách, tạp chí |
| Tiêu đề: |
Defining liveness |
| Tác giả: |
B. Alpem and F.B. Schneider, Defining liveness. Inform. Proc. Lett. 21 |
| Năm: |
1985 |
|
| [5] R.J.R. Back, Correctness preserving refinements: Proof theory and applications. Technical Report, Mathe- matical Centre Tracts 131, Mathematical Centre, Amsterdam (1980) |
Sách, tạp chí |
| Tiêu đề: |
Correctness preserving refinements: Proof theory and applications |
|
| [6] R.J.R. Back, Refinement calculus, Part I: Sequential nondeterministic programs, REX Workshop, Stepwise Refinement of Distributed Systems, Lecture Notes in Comput. Sci. 430, J.W. de Bakker, W.-P. de Roever and G. Rozenberg, eds. Springer-Veriag (1990), 42-66 |
Sách, tạp chí |
| Tiêu đề: |
Refinement calculus, Part I: Sequential nondeterministic programs |
| Tác giả: |
R.J.R. Back, Refinement calculus, Part I: Sequential nondeterministic programs, REX Workshop, Stepwise Refinement of Distributed Systems, Lecture Notes in Comput. Sci. 430, J.W. de Bakker, W.-P. de Roever and G. Rozenberg, eds. Springer-Veriag |
| Năm: |
1990 |
|
| [7] R.J.R. Back, Refinement calculus. Part II: Parallel and reactive programs, REX Workshop, Stepwise Re- finement of Distributed Systems, Lecture Notes in Comput. Sci. 430, J.W. de Bakker, W.-P. de Roever and G. Rozenberg, eds. Springer-Veriag (1990), 67-93 |
Sách, tạp chí |
| Tiêu đề: |
Refinement calculus. Part II: Parallel and reactive programs |
| Tác giả: |
R.J.R. Back, Refinement calculus. Part II: Parallel and reactive programs, REX Workshop, Stepwise Re- finement of Distributed Systems, Lecture Notes in Comput. Sci. 430, J.W. de Bakker, W.-P. de Roever and G. Rozenberg, eds. Springer-Veriag |
| Năm: |
1990 |
|
| [8] R.J.R. Back, Refinement of parallel and reactive systems. Program Design Calculi, Springer NATO ASI Series, Series F: Computer and System Sciences 118, M. Broy, ed. (1993) |
Sách, tạp chí |
| Tiêu đề: |
Refinement of parallel and reactive systems |
|
| [9] J.C.M. Baeten, J.A. Bergstra and J.W. Klop, On the consistency ofKoomen 'sfair abstraction rule, Theoret. Comput. Sci. 51 (1987), 129-176 |
Sách, tạp chí |
| Tiêu đề: |
On the consistency ofKoomen 'sfair abstraction rule |
| Tác giả: |
J.C.M. Baeten, J.A. Bergstra and J.W. Klop, On the consistency ofKoomen 'sfair abstraction rule, Theoret. Comput. Sci. 51 |
| Năm: |
1987 |
|
| [10] J.W. de Bakker, Mathematical Theory of Program Correctness, Prentice-Hall, London (1980) |
Sách, tạp chí |
| Tiêu đề: |
Mathematical Theory of Program Correctness |
|
| [11] J.W. de Bakker, W.-P. de Roever and G. Rozenberg, eds. Stepwise Refinement of Distributed Systems, Lec- ture Notes in Comput. Sci. 430, Springer-Veriag (1990) |
Sách, tạp chí |
| Tiêu đề: |
Stepwise Refinement of Distributed Systems |
|
| [12] FL. Bauer et al.. The Munich Project CIP, Vol. I: The Wide Spectrum Language CIP-L, Lecture Notes in Comput. Sci. 183, Springer-Veriag (1985) |
Sách, tạp chí |
| Tiêu đề: |
The Munich Project CIP, Vol. I: The Wide Spectrum Language CIP-L |
|
| [13] F.L. Bauer et al.. The Munich Project CIP, Vol II: The Program Transformation System CIP-S, Lecture Notes in Comput. Sci. 292, Springer-Veriag (1987) |
Sách, tạp chí |
| Tiêu đề: |
The Munich Project CIP, Vol II: The Program Transformation System CIP-S |
|
| [14] J. A. Bergstra, W. Fokkink and A. Ponse, Process algebra with recursive operations. Handbook of Process Algebra, J.A. Bergstra, A. Ponse and S.A. Smolka, eds, Elsevier, Amsterdam (2001), 333-389 |
Sách, tạp chí |
| Tiêu đề: |
Process algebra with recursive operations |
| Tác giả: |
J. A. Bergstra, W. Fokkink and A. Ponse, Process algebra with recursive operations. Handbook of Process Algebra, J.A. Bergstra, A. Ponse and S.A. Smolka, eds, Elsevier, Amsterdam |
| Năm: |
2001 |
|
| [15] J. A. Bergstra and J.W. Klop, Algebra of communicating processes, Proc. CWI Symposium on Mathematics and Computer Science, CWI Monograph I, J.W. de Bakker, M. Hazewinkel and J.K. Lenstra, eds, North- Holland, Amsterdam (1986), 89-138 |
Sách, tạp chí |
| Tiêu đề: |
Algebra of communicating processes |
| Tác giả: |
J. A. Bergstra and J.W. Klop, Algebra of communicating processes, Proc. CWI Symposium on Mathematics and Computer Science, CWI Monograph I, J.W. de Bakker, M. Hazewinkel and J.K. Lenstra, eds, North- Holland, Amsterdam |
| Năm: |
1986 |
|
| [16] J.A. Bergstra, J.W. Klop and E.-R. Olderog, Failures without chaos: A new process semantics for fair abstraction. Formal Description of Programming Concepts III, M. Wirsing, ed., North-Holland, Amsterdam (1987), 77-101 |
Sách, tạp chí |
| Tiêu đề: |
Failures without chaos: A new process semantics for fair "abstraction |
| Tác giả: |
J.A. Bergstra, J.W. Klop and E.-R. Olderog, Failures without chaos: A new process semantics for fair abstraction. Formal Description of Programming Concepts III, M. Wirsing, ed., North-Holland, Amsterdam |
| Năm: |
1987 |
|
| [17] J. A. Bergstra, J.W. Klop and E.-R. Olderog, Readies and failures in the algebra of communicating pro- cesses, SL\M J. Comput. 17 (1988), 1134-1177 |
Sách, tạp chí |
| Tiêu đề: |
Readies and failures in the algebra of communicating pro-"cesses |
| Tác giả: |
J. A. Bergstra, J.W. Klop and E.-R. Olderog, Readies and failures in the algebra of communicating pro- cesses, SL\M J. Comput. 17 |
| Năm: |
1988 |
|
| [18] F.S. de Boer, J.N. Kok, C. Palamidessi and J.J. Rutten, The failure of failures in a paradigm for asynchronous communication, Proc. C0NCUR'91, Lecture Notes in Comput. Sci. 527, J. Baeten and J. Groote, eds.Springer-Veriag (1991), 111-126 |
Sách, tạp chí |
| Tiêu đề: |
The failure of failures in a paradigm for asynchronous "communication |
| Tác giả: |
F.S. de Boer, J.N. Kok, C. Palamidessi and J.J. Rutten, The failure of failures in a paradigm for asynchronous communication, Proc. C0NCUR'91, Lecture Notes in Comput. Sci. 527, J. Baeten and J. Groote, eds.Springer-Veriag |
| Năm: |
1991 |
|
| [19] J.D. Brock and W.B. Ackermann, Scenarios: A model of nondeterminate computation. Lecture Notes in Comput. Sci. 107, J. Diaz and I. Ramos, eds. Springer-Veriag (1981), 225-259 |
Sách, tạp chí |
| Tiêu đề: |
Scenarios: A model of nondeterminate computation |
| Tác giả: |
J.D. Brock and W.B. Ackermann, Scenarios: A model of nondeterminate computation. Lecture Notes in Comput. Sci. 107, J. Diaz and I. Ramos, eds. Springer-Veriag |
| Năm: |
1981 |
|
| [20] S.D. Brookes, C.A.R. Hoare and A.W. Roscoe, A theory of communicating sequential processes, J. ACM 31 (1984), 560-599 |
Sách, tạp chí |
| Tiêu đề: |
A theory of communicating sequential processes |
| Tác giả: |
S.D. Brookes, C.A.R. Hoare and A.W. Roscoe, A theory of communicating sequential processes, J. ACM 31 |
| Năm: |
1984 |
|