메뉴 건너뛰기




Volumn 149, Issue 1, 1999, Pages 77-98

Basic Observables for Processes

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0003792211     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1998.2755     Document Type: Article
Times cited : (22)

References (30)
  • 1
    • 0002534194 scopus 로고
    • 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 scopus 로고
    • 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
  • 4
    • 84947814301 scopus 로고
    • 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
  • 6
  • 8
    • 0023331721 scopus 로고
    • 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
  • 10
    • 84972435010 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 21
    • 33746779228 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 25
    • 0022695184 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.