메뉴 건너뛰기




Volumn 249 LNCS, Issue , 1987, Pages 138-152

CCS without τ’s

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SEMANTICS;

EID: 84972435010     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-17660-8_53     Document Type: Conference Paper
Times cited : (68)

References (20)
  • 1
    • 0021410739 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • Algebraic Semantics
    • Guessarian I. Algebraic Semantics. LNCS 99, (1981).
    • (1981) LNCS , pp. 99
    • Guessarian, I.1
  • 11
    • 0020836348 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


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