-
3
-
-
0004518714
-
-
Technical Report 05/95, Computer Science, University of Sussex
-
W. Ferreira, M. Hennessy, and A. Jeffrey. A theory of weak bisimulation for core CML. Technical Report 05/95, Computer Science, University of Sussex, 1995.
-
(1995)
A Theory of Weak Bisimulation for Core CML.
-
-
Ferreira, W.1
Hennessy, M.2
Jeffrey, A.3
-
4
-
-
0029703268
-
The reflexive CHAM and the join-calculus
-
ACM Press
-
C. Fournet and G. Gonthier. The reflexive CHAM and the join-calculus. In Proc. 23rdPOPL, 372-385. ACM Press, 1996.
-
(1996)
Proc. 23Rdpopl
, pp. 372-385
-
-
Fournet, C.1
Gonthier, G.2
-
5
-
-
0000429455
-
Facile: A Symmetric Integration of Concurrent and Functional Programming
-
A. Giacalone, P. Mishra, and S. Prasad. Facile: A Symmetric Integration of Concurrent and Functional Programming. Int. J. Parallel Programming, 18(2):121-160, 1989.
-
(1989)
Int. J. Parallel Programming
, vol.18
, Issue.2
, pp. 121-160
-
-
Giacalone, A.1
Mishra, P.2
Prasad, S.3
-
7
-
-
85022894365
-
On asynchronous communication semantics
-
M. Tokoro and O. Nierstrasz, editors, Springer-Verlag
-
K. Honda and M. Tokoro. On asynchronous communication semantics. In M. Tokoro and O. Nierstrasz, editors, Proc. ECOOP'91, Lecture Notes in Computer Science, 612:21-51. Springer-Verlag, 1991.
-
(1991)
Proc. ECOOP'91, Lecture Notes in Computer Science
, vol.612
, pp. 21-51
-
-
Honda, K.1
Tokoro, M.2
-
9
-
-
0024897313
-
Equality in lazy computation systems
-
IEEE Computer Society Press
-
D. J. Howe. Equality in lazy computation systems. In Proc. 4th LICS, 198-203. IEEE Computer Society Press, 1989.
-
(1989)
Proc. 4Th LICS
, pp. 198-203
-
-
Howe, D.J.1
-
10
-
-
0000627561
-
Proving congruence of bisimulation in functional programming languages
-
D. J. Howe. Proving congruence of bisimulation in functional programming languages. Information and Computation, 124(2): 103-112, 1996.
-
(1996)
Information and Computation
, vol.124
, Issue.2
, pp. 103-112
-
-
Howe, D.J.1
-
12
-
-
84990660292
-
A modal characterisation of observable machine-behaviour
-
Springer-Verlag
-
R. Milner. A modal characterisation of observable machine-behaviour. In Proc. CAAP'81, Lecture Notes in Computer Science, Vol. 112. Springer-Verlag, 1981.
-
(1981)
Proc. CAAP'81, Lecture Notes in Computer Science
, vol.112
-
-
Milner, R.1
-
13
-
-
18944381228
-
Communication and Concurrency
-
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
-
(1989)
Prentice Hall
-
-
Milner, R.1
-
15
-
-
0000511698
-
The polyadic 7r-calculus: A tutorial
-
E L. Bauer et al, ed, Springer-Verlag
-
R. Milner. The polyadic 7r-calculus: A tutorial. In E L. Bauer et al, ed., Logic andAlgebra of Specification. Springer-Verlag, 1993.
-
(1993)
Logic Andalgebra of Specification
-
-
Milner, R.1
-
17
-
-
84968816021
-
Barbed bisimulation
-
In W. Kuich, ed., Springer-Vedag
-
R. Milner and D. Sangiorgi. Barbed bisimulation. In W. Kuich, ed., Proc. 19th ICALP, Lecture Notes in Computer Science, 623:685-695. Springer-Vedag, 1992.
-
(1992)
Proc. 19Th ICALP, Lecture Notes in Computer Science
, vol.623
, pp. 685-695
-
-
Milner, R.1
Sangiorgi, D.2
-
19
-
-
0003976893
-
Pict: A programming language based on the pi-calculus
-
B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. To appear.
-
To Appear
-
-
Pierce, B.C.1
Turner, D.N.2
-
21
-
-
85036583908
-
CML: A higher-order concurrent language
-
ACM Press
-
J. Reppy. CML: A higher-order concurrent language. In Proc. PLDI, 293-259. ACM Press, 1991.
-
(1991)
Proc. PLDI
, pp. 259-293
-
-
Reppy, J.1
-
24
-
-
0013213308
-
A second generation calculus for higher order processes
-
B. Thomsen. Plain CHOCS. A second generation calculus for higher order processes. Acta Informatica, 30(1): 1-59, 1993.
-
(1993)
Acta Informatica
, vol.30
, Issue.1
, pp. 1-59
-
-
Thomsen, B.1
Plain, C.2
|