-
1
-
-
0021410739
-
Algebre de Processus et Synchronization
-
North Holland, Amsterdam
-
Austry, D. and Boudol, G. Algebre de Processus et Synchronization, Theoret. Comput. Sci. Vol. 30, No. 1 North Holland, Amsterdam, (1984).
-
(1984)
Theoret. Comput. Sci
, vol.30
, Issue.1
-
-
Austry, D.1
Boudol, G.2
-
2
-
-
85034636307
-
Processes and the Denotational Semantics of Concurrency
-
de Bakker J. and Zucker J., Processes and the Denotational Semantics of Concurrency. Information and Control, Vol 44, Nos. 1-2, pp.l36-176, (1982).
-
(1982)
Information and Control
, vol.44
, Issue.1-2
, pp. l36-176
-
-
De Bakker, J.1
Zucker, J.2
-
3
-
-
26444458744
-
-
Ph.D. Thesis, University of Oxford. Also Carnegie Mellon University Internal Report, CMU-CS-149
-
Brookes, S.D. A Model for Communicating Sequential Processes. Ph.D. Thesis, University of Oxford. Also Carnegie Mellon University Internal Report, CMU-CS-149, (1983).
-
(1983)
A Model for Communicating Sequential Processes
-
-
Brookes, S.D.1
-
4
-
-
0021465083
-
A Theory of Communicating Sequential Processes
-
Brookes, S.D., Hoare, C.A.R. and Roscoe A.D. A Theory of Communicating Sequential Processes. Journal of ACM, Vol. 31, No. 3, pp. 560-599, (1984).
-
(1984)
Journal of ACM
, vol.31
, Issue.3
, pp. 560-599
-
-
Brookes, S.D.1
Hoare, C.A.R.2
Roscoe, A.D.3
-
5
-
-
0021291978
-
Process Algebra for Synchronous Communication
-
BergstraJ. and Klop, G
-
BergstraJ. and Klop, G. Process Algebra for Synchronous Communication, Information and Control, Vol 60, pp.109-137, (1984).
-
(1984)
Information and Control
, vol.60
, pp. 109-137
-
-
-
6
-
-
0020845493
-
Testing Equivalences for Processes
-
North Holland, Amsterdam
-
De Nicola, R. and Hennessy M. Testing Equivalences for Processes. Theoret, Comput. Sci., Vol.34, pp. 83-133, North Holland, Amsterdam, (1984).
-
(1984)
Theoret, Comput. Sci
, vol.34
, pp. 83-133
-
-
De Nicola, R.1
Hennessy, M.2
-
7
-
-
0020494987
-
Two Complete Set of Axioms for a Theory of Communicating Sequential Processes
-
De Nicola, R. Two Complete Set of Axioms for a Theory of Communicating Sequential Processes. Information and Control, Vol 64, Nos. 1-3, pp.136-176, (1985).
-
(1985)
Information and Control
, vol.64
, Issue.1-3
, pp. 136-176
-
-
De Nicola, R.1
-
9
-
-
84976746763
-
Initial Algebra Semantics and Continuous Algebras
-
Goguen J.A., Thatcher, J.W., Wagner, E.G. and Wright, J.B. Initial Algebra Semantics and Continuous Algebras. Journal of ACM, Vol. 24, No. 1, pp. 68-95, (1977).
-
(1977)
Journal of ACM
, vol.24
, Issue.1
, pp. 68-95
-
-
Goguen, J.A.1
Thatcher, J.W.2
Wagner, E.G.3
Wright, J.B.4
-
10
-
-
0003213787
-
Algebraic Semantics
-
Guessarian I. Algebraic Semantics. LNCS 99, (1981).
-
(1981)
LNCS
, pp. 99
-
-
Guessarian, I.1
-
11
-
-
0020836348
-
Synchronous and Asynchronous Experiments on Processes
-
Hennessy M. Synchronous and Asynchronous Experiments on Processes. Information and Control Vol. 59, Nos. 1-3, pp. 36-83, (1983).
-
(1983)
Information and Control
, vol.59
, Issue.1-3
, pp. 36-83
-
-
Hennessy, M.1
-
13
-
-
0022145767
-
Acceptance Trees
-
Hennessy, M. Acceptance Trees. Journal of ACM, Vol. 32, No 4, pp. 896-928, (1985)
-
(1985)
Journal of ACM
, vol.32
, Issue.4
, pp. 896-928
-
-
Hennessy, M.1
-
14
-
-
0021974161
-
Algebraic Laws for Nondeterminism and Concurrency
-
Hennessy, M., Milner, R. Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM, Vol.32, No. 1, pp. 137-161, (1985).
-
(1985)
Journal of ACM
, vol.32
, Issue.1
, pp. 137-161
-
-
Hennessy, M.1
Milner, R.2
-
16
-
-
85034656917
-
-
International Standard Organization, Internal Report Twente University of Technology and ISO/TC97/SC21 Draft Proposal 8807
-
International Standard Organization, LOTOS-A Formal Description Technique. Internal Report Twente University of Technology and ISO/TC97/SC21 Draft Proposal 8807, (1986)
-
(1986)
LOTOS-A Formal Description Technique
-
-
-
18
-
-
84976660535
-
CIRCAL and the Representation of Communication
-
Milne, G. CIRCAL and the Representation of Communication, Concurrency and Time. ACM Toplas Vol. 7, No. 2, pp. 270-298, (1985).
-
(1985)
Concurrency and Time. ACM Toplas
, vol.7
, Issue.2
, pp. 270-298
-
-
Milne, G.1
-
19
-
-
0022695184
-
Specification-Oriented Semantics for Communicating Processes
-
Olderog, E-R, Hoare C.A.R. Specification-Oriented Semantics for Communicating Processes, Acta Informatica Vol. 23, pp. 9-66, (1986).
-
(1986)
Acta Informatica
, vol.23
, pp. 9-66
-
-
Olderog, E.-R.1
Hoare, C.A.R.2
|