-
1
-
-
0002534194
-
The lazy lambda calculus
-
(David Turner, Ed.), Addison-Wesley, Reading, MA
-
Abramsky, S. (1990), The lazy lambda calculus, in "Research Topics in Functional Programming" (David Turner, Ed.), Addison-Wesley, Reading, MA.
-
(1990)
Research Topics in Functional Programming
-
-
Abramsky, S.1
-
2
-
-
21144469200
-
An efficiency preorder for processes
-
Arun-Kumar, S., and Hennessy, M. (1992), An efficiency preorder for processes, Acta Inform. 29(8), 737-760.
-
(1992)
Acta Inform.
, vol.29
, Issue.8
, pp. 737-760
-
-
Arun-Kumar, S.1
Hennessy, M.2
-
3
-
-
0027611163
-
Observing localities
-
Boudol, G., Castellani, I., Hennessy, M., and Kiehn, A. (1993), Observing localities, Theoret. Comput. Sci. 114, 31-61.
-
(1993)
Theoret. Comput. Sci.
, vol.114
, pp. 31-61
-
-
Boudol, G.1
Castellani, I.2
Hennessy, M.3
Kiehn, A.4
-
4
-
-
84947814301
-
Fair testing
-
"Proceedings of CONCUR'95" (I. Lee and S. A. Smolka, Eds.), Springer-Verlag, Berlin/New York
-
Brinksma, E., Rensink, A., and Vogler, W. (1995), Fair testing, "Proceedings of CONCUR'95" (I. Lee and S. A. Smolka, Eds.), Lecture Notes in Computer Science, Vol. 962, pp. 313-327, Springer-Verlag, Berlin/New York.
-
(1995)
Lecture Notes in Computer Science
, vol.962
, pp. 313-327
-
-
Brinksma, E.1
Rensink, A.2
Vogler, W.3
-
5
-
-
33746872732
-
Applications of fair testing
-
(R. Gotzhein and J. Bredereke, Eds.), IFIP, Chapman & Hall, London/New York
-
Brinksma, E., Rensink, A., and Vogler, W. (1996), Applications of fair testing, in "Formal Description Techniques IX, Theory, Applications and Tools" (R. Gotzhein and J. Bredereke, Eds.), IFIP, Chapman & Hall, London/New York.
-
(1996)
Formal Description Techniques IX, Theory, Applications and Tools
-
-
Brinksma, E.1
Rensink, A.2
Vogler, W.3
-
6
-
-
0021465083
-
A theory of communicating sequential processes
-
Brookes, S. D., Hoare, C. A. R., and Roscoe, A. W. (1984), A theory of communicating sequential processes, J. Assoc. Comput. Mach. 31(3), 560-599.
-
(1984)
J. Assoc. Comput. Mach.
, vol.31
, Issue.3
, pp. 560-599
-
-
Brookes, S.D.1
Hoare, C.A.R.2
Roscoe, A.W.3
-
7
-
-
0024752985
-
Distributed bisimulations
-
Castellani, I., and Hennessy, M. (1989), Distributed bisimulations, J. Assoc. Comput. Mach. 10, 887-911.
-
(1989)
J. Assoc. Comput. Mach.
, vol.10
, pp. 887-911
-
-
Castellani, I.1
Hennessy, M.2
-
8
-
-
0023331721
-
Extensional equivalences for transition systems
-
De Nicola, R. (1987), Extensional equivalences for transition systems, Acta Inform. 24, 211-237.
-
(1987)
Acta Inform.
, vol.24
, pp. 211-237
-
-
De Nicola, R.1
-
9
-
-
0020845493
-
Testing equivalence for processes
-
De Nicola, R., and Hennessy, M. (1984), Testing equivalence for processes, Theoret. Comput. Sci. 34, 83-133.
-
(1984)
Theoret. Comput. Sci.
, vol.34
, pp. 83-133
-
-
De Nicola, R.1
Hennessy, M.2
-
10
-
-
84972435010
-
CCS without τ's
-
"Proceedings of TAPSOFT'87" (H. Ehrig et al., Eds.), Springer-Verlag, Berlin/New York
-
De Nicola, R., and Hennessy, M. (1987), CCS without τ's, "Proceedings of TAPSOFT'87" (H. Ehrig et al., Eds.), Lecture Notes in Computer Science, Vol. 249, pp. 138-152, Springer-Verlag, Berlin/New York.
-
(1987)
Lecture Notes in Computer Science
, vol.249
, pp. 138-152
-
-
De Nicola, R.1
Hennessy, M.2
-
12
-
-
84955565479
-
A calculus of mobile agents
-
"Proceedings of CONCUR'96" (U. Montanari and V. Sassone, Eds.), Springer-Verlag, Berlin/New York
-
Fournet, C., Gonthier, G., Lévy, J.-L., Maranget, L., and Rémy, D. (1966), A calculus of mobile agents, "Proceedings of CONCUR'96" (U. Montanari and V. Sassone, Eds.), Lecture Notes in Computer Science, Vol. 1119, pp. 406-421, Springer-Verlag, Berlin/New York.
-
(1966)
Lecture Notes in Computer Science
, vol.1119
, pp. 406-421
-
-
Fournet, C.1
Gonthier, G.2
Lévy, J.-L.3
Maranget, L.4
Rémy, D.5
-
14
-
-
85030168746
-
Observing processes
-
"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" (J. de Bakker et al., Eds.), Springer-Verlag, Berlin/New York
-
Hennessy, M. (1989), Observing processes, in "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" (J. de Bakker et al., Eds.), Lecture Notes in Computer Science, Vol. 354, Springer-Verlag, Berlin/New York.
-
(1989)
Lecture Notes in Computer Science
, vol.354
-
-
Hennessy, M.1
-
16
-
-
0003868368
-
May and Must Testing in the Join-Calculus
-
Università di Bologna, Dept. of Computer Science, Bologna
-
Laneve, C. (1996), "May and Must Testing in the Join-Calculus," Technical Report UBLCS-96-4, Università di Bologna, Dept. of Computer Science, Bologna.
-
(1996)
Technical Report UBLCS-96-4
-
-
Laneve, C.1
-
17
-
-
0023422946
-
Trace, failure and testing equivalences for communicating processes
-
Main, M. G. (1987), Trace, failure and testing equivalences for communicating processes, Int. J. Parallel Progr. 16(5), 383-400.
-
(1987)
Int. J. Parallel Progr.
, vol.16
, Issue.5
, pp. 383-400
-
-
Main, M.G.1
-
19
-
-
84968816021
-
Barbed bisimulation
-
"Proceedings of ICALP'92" (W. Kuich, Ed.), Springer-Verlag, Berlin/New York
-
Milner, R., and Sangiorgi, D. (1992), Barbed bisimulation, "Proceedings of ICALP'92" (W. Kuich, Ed.), Lecture Notes in Computer Science, Vol. 623, Springer-Verlag, Berlin/New York.
-
(1992)
Lecture Notes in Computer Science
, vol.623
-
-
Milner, R.1
Sangiorgi, D.2
-
20
-
-
0003561748
-
-
Ph.D. Thesis, MIT, Cambridge, MA
-
Morris, J.-H. (1968), "Lambda Calculus Models of Programming Languages," Ph.D. Thesis, MIT, Cambridge, MA.
-
(1968)
Lambda Calculus Models of Programming Languages
-
-
Morris, J.-H.1
-
21
-
-
33746779228
-
Divergence and fair testing
-
"Proceedings of ICALP'95" (Z. F́'uĺ'op and F. Gécseg, Eds.), Springer-Verlag, Berlin/New York
-
Natarajan, V., and Cleaveland, R. (1995), Divergence and fair testing, "Proceedings of ICALP'95" (Z. F́'uĺ'op and F. Gécseg, Eds.), Lecture Notes in Computer Science, Vol. 944, pp. 648-659, Springer-Verlag, Berlin/New York.
-
(1995)
Lecture Notes in Computer Science
, vol.944
, pp. 648-659
-
-
Natarajan, V.1
Cleaveland, R.2
-
22
-
-
0029722055
-
An algebraic theory of process efficiency
-
Los Alamitos, California, IEEE Comput. Soc. Press, New York
-
Natarajan, V., and Cleaveland, R. (1995), An algebraic theory of process efficiency, "Proceedings of LICS'96" (Los Alamitos, California), pp. 63-72, IEEE Comput. Soc. Press, New York.
-
(1995)
Proceedings of LICS'96
, pp. 63-72
-
-
Natarajan, V.1
Cleaveland, R.2
-
23
-
-
85029615220
-
An overview and synthesis on timed process algebras
-
"Proceedings of CAV'91" (K. G. Larsen and A. Shou, Eds.), Springer-Verlag, Berlin/New York
-
Nicollin, X., and Sifakis, J. (1991), An overview and synthesis on timed process algebras, "Proceedings of CAV'91" (K. G. Larsen and A. Shou, Eds.), Lecture Notes in Computer Science, Vol. 575, pp. 376-398, Springer-Verlag, Berlin/New York.
-
(1991)
Lecture Notes in Computer Science
, vol.575
, pp. 376-398
-
-
Nicollin, X.1
Sifakis, J.2
-
24
-
-
0004054826
-
-
Cambridge University Press, Cambridge, UK
-
Olderog, E.-R. (1991), "Nets, Terms and Formulas," Cambridge University Press, Cambridge, UK.
-
(1991)
Nets, Terms and Formulas
-
-
Olderog, E.-R.1
-
25
-
-
0022695184
-
Specification-oriented semantics for communicating processes
-
Olderog, E.-R., and Hoare, C. A. R. (1986), Specification-oriented semantics for communicating processes, Acta Inform. 23, 9-66.
-
(1986)
Acta Inform.
, vol.23
, pp. 9-66
-
-
Olderog, E.-R.1
Hoare, C.A.R.2
-
26
-
-
0000998574
-
Correspondence between operational and denotational semantics: The full abstraction problem for PCF
-
S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, Eds., Oxford Science, Oxford
-
Ong, C.-H.L. (1995), Correspondence between operational and denotational semantics: the full abstraction problem for PCF, "Handbook of Logic in Computer Science" (S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, Eds.), Vol. 4, Oxford Science, Oxford.
-
(1995)
Handbook of Logic in Computer Science
, vol.4
-
-
Ong, C.-H.L.1
-
27
-
-
0011582560
-
Concurrent ML: Design, application and semantics
-
"Proceedings of Functional Programming, Concurrency, Simulation and Automata Reasoning" (P. E. Lauer, Ed.), Springer-Verlag, Berlin/New York
-
Reppy, J. H. (1993), Concurrent ML: Design, application and semantics, "Proceedings of Functional Programming, Concurrency, Simulation and Automata Reasoning" (P. E. Lauer, Ed.), Lecture Notes in Computer Science, Vol. 693, pp. 165-198, Springer-Verlag, Berlin/New York.
-
(1993)
Lecture Notes in Computer Science
, vol.693
, pp. 165-198
-
-
Reppy, J.H.1
-
28
-
-
0024610526
-
Failures semantics and deadlocking of modular Petri nets
-
Vogler, W. (1989), Failures semantics and deadlocking of modular Petri nets, Acta Inform. 26, 333-348.
-
(1989)
Acta Inform.
, vol.26
, pp. 333-348
-
-
Vogler, W.1
-
29
-
-
85027594526
-
Real-time behaviour of asynchronous agents
-
"Proceedings of CONCUR'90" (J. C. M. Baeten and J. W. Klop, Eds.), Springer-Verlag, Berlin/New York
-
Wang, Y. (1990), Real-time behaviour of asynchronous agents, "Proceedings of CONCUR'90" (J. C. M. Baeten and J. W. Klop, Eds.), Lecture Notes in Computer Science, Vol. 458, pp. 502-520, Springer-Verlag, Berlin/New York.
-
(1990)
Lecture Notes in Computer Science
, vol.458
, pp. 502-520
-
-
Wang, Y.1
-
30
-
-
84888697746
-
CCS + Time = an interleaving model for real time systems
-
"Proceedings of ICALP'91" (J. Leach Albert et al., Eds.), Springer-Verlag, Berlin/New York
-
Wang, Y. (1991), CCS + Time = an interleaving model for real time systems, "Proceedings of ICALP'91" (J. Leach Albert et al., Eds.), Lecture Notes in Computer Science, Vol. 510, Springer-Verlag, Berlin/New York.
-
(1991)
Lecture Notes in Computer Science
, vol.510
-
-
Wang, Y.1
|